Katalog der Deutschen Nationalbibliothek

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

191 - 200 von 734

	191	Proof mining and combinatorics Kreuzer, Alexander P., 2012
	192	Proof mining and combinatorics Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
	193	Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
	194	Proving Theorems of Higher-Order Logic with SMT Solvers Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
	195	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
	196	Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
	197	Regular antichains Böhm, Matthias, 2012
	198	Symmetric Models, Singular Cardinal Patterns, and Indiscernibles Dimitriou, Ioanna Matilde. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
	199	Symmetries and bifurcations in timed continuous Petri nets Meyer, Anna-Lena, 2012
	200	Symmetries and bifurcations in timed continuous Petri nets Meyer, Anna-Lena. - Paderborn : Universitätsbibliothek, 2012