Katalog der Deutschen Nationalbibliothek

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

261 - 270 von 742

	261	Das Erfüllbarkeitsproblem SAT Schöning, Uwe. - Berlin : Lehmanns, 2012, 1. Aufl.
	262	Das Problem der Kurvenanpassung Paulßen, Jens. - Frankfurt : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2012
	263	Definability and model checking Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
	264	Der Graf der Graphen Wiesbaden : Vieweg+Teubner Verlag, 2012
	265	Der Logikverführer Drösser, Christoph. - Reinbek : Rowohlt Digitalbuch, 2012, 1. Aufl.
	266	Discrete Time Analysis of Consolidated Transport Processes Özden, Eda. - Karlsruhe : KIT Scientific Publishing, 2012
	267	Discrete Time Analysis of Consolidated Transport Processes Özden, Eda. - Karlsruhe : KIT-Bibliothek, 2012
	268	Diskrete Mathematik Taraz, Anusch. - Basel : Springer Basel, 2012
	269	Efficient Visual Navigation Raitner, Marcus. - Saarbrücken : AV Akademikerverlag, 2012, neue Ausg.
	270	Einführung in die Beweislehre Kraeft, Uwe. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.