Katalog der Deutschen Nationalbibliothek

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

441 - 450 von 965

	441	Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Schmidt, Tatjana, 2010
	442	Contributions to the minimum linear arrangement problem Seitz, Hanna, 2010
	443	Coping with uncertainty Berlin : Springer, 2010
	444	Die logische Grundlegung der Dialektik Petersen, Uwe. - Tönning : Der Andere Verl., 2010, 2. Aufl. mit einem Anh. zum systematischen Aufbau einer formalen dialektischen Logik
	445	Diskrete Mathematik Hower, Walter. - München : Oldenbourg, 2010
	446	Einführung in die Mengenlehre Deiser, Oliver. - Berlin : Springer, 2010, 3., korrigierte Aufl.
	447	Energiebasierte Optimierung geradlining planarer Graphzeichnungen Ewerlin, Hendrik. - Dortmund : TU, Algorithm Engineering, 2010
	448	Evolution Boolescher Netzwerke Szejka, Agnes, 2010
	449	Exact exponential algorithms Fomin, Fedor V.. - Berlin : Springer, 2010
	450	Exakte Algorithmen für schwere Graphenprobleme Berlin : Springer, 2010