Katalog der Deutschen Nationalbibliothek

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

301 - 310 von 991

	301	Das Erfüllbarkeitsproblem SAT Schöning, Uwe. - Berlin : Lehmanns Media, 2012
	302	Der Logikverführer Drösser, Christoph. - Reinbek bei Hamburg : Rowohlt-Taschenbuch-Verl., 2012, Orig.-Ausg.
	303	Discrete time analysis of consolidated transport processes Özden, Eda. - Karlsruhe : KIT Scientific Publ., 2012
	304	Diskrete Mathematik Taraz, Anusch. - Basel : Birkhäuser, 2012
	305	Eagle-Starthilfe Berechenbarkeitstheorie Wagenknecht, Christian. - Leipzig : Ed. am Gutenbergplatz, 2012
	306	Einführung in die Beweislehre Kraeft, Uwe. - Aachen : Shaker, 2012
	307	Exponentropie Breiner, Tobias C.. - Darmstadt : Synergia, 2012, 1. Aufl.
	308	Extremal polynomials and Riemann surfaces Bogatyrev, Andrei. - Berlin : Springer, 2012
	309	Färbungen von Distanzgraphen Marangio, Massimiliano. - Göttingen : Cuvillier, 2012, 1. Aufl.
	310	Formal concept analysis Berlin : Springer, 2012