Katalog der Deutschen Nationalbibliothek

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

561 - 570 von 1745

	561	Counting graphs Cieslik, Dietmar. - Aachen : Shaker, 2012
	562	Counting Graphs Cieslik, Dietmar. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.
	563	Cylindric-like algebras and algebraic logic Berlin : Springer, c 2012
	564	Das Erfüllbarkeitsproblem SAT Schöning, Uwe. - Berlin : Lehmanns Media, 2012
	565	Das Erfüllbarkeitsproblem SAT Schöning, Uwe. - Berlin : Lehmanns, 2012, 1. Aufl.
	566	Das Problem der Kurvenanpassung Paulßen, Jens. - Frankfurt : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2012
	567	Definability and model checking Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
	568	Der Graf der Graphen Wiesbaden : Vieweg+Teubner Verlag, 2012
	569	Der Logikverführer Drösser, Christoph. - Reinbek : Rowohlt Digitalbuch, 2012, 1. Aufl.
	570	Der Logikverführer Drösser, Christoph. - Reinbek bei Hamburg : Rowohlt-Taschenbuch-Verl., 2012, Orig.-Ausg.