Katalog der Deutschen Nationalbibliothek

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

291 - 300 von 409

	291	Ε6-μ-Logik Bab, Sebastian. - Aachen : Shaker, 2007
	292	Algebraic techniques for satisfiability problems Schnoor, Henning. - Göttingen : Cuvillier, 2007, 1. Aufl.
	293	Algebraically solvable problems Schauz, Uwe, 2007
	294	Algorithmen zur Konstruktion und Ausdünnung von Spanner-Graphen im cache-oblivious-Modell Gieseke, Fabian. - Dortmund : Univ., Algorithm Engineering, 2007
	295	Algorithmic randomness Mihailović, Nenad, 2007
	296	Algorithms and experiments for parameterized approaches to hard graph problems Hüffner, Falk, 2007
	297	Automatic presentations of infinite structures Bárány, Vince, 2007
	298	Beyond perfection Wagler, Annegret, 2007
	299	Boundaries of triangle patches and the expander constant of fullerenes Justus, Claudia, 2007
	300	Circuit bases problems in binary matroids Bunke, Florentine. - München : Verl. Dr. Hut, 2007, 1. Aufl.