Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

341 - 350 von 991

	341	Parameterized and exact computation Berlin : Springer, 2012
	342	Pojmopis Frege, Gottlob. - Praha : Oikumenē, 2012, Vyd. 1
	343	Proof mining and combinatorics Kreuzer, Alexander P., 2012
	344	Proof theory Jervell, Herman Ruge. - Berlin : Logos-Verl., 2012
	345	Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
	346	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
	347	Reachability problems Berlin : Springer, 2012
	348	Regular antichains Böhm, Matthias, 2012
	349	Sparsity Nešetřil, Jaroslav. - Berlin : Springer, 2012
	350	Symmetries and bifurcations in timed continuous Petri nets Meyer, Anna-Lena, 2012