Katalog der Deutschen Nationalbibliothek

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

491 - 500 von 718

	491	Π12-comprehension [Pi 1 2-comprehension] and the property of Ramsey Heinatsch, Christoph, 2007
	492	Ε6-μ-Logik Bab, Sebastian. - Aachen : Shaker, 2007
	493	Algebraic techniques for satisfiability problems Schnoor, Henning. - Göttingen : Cuvillier, 2007, 1. Aufl.
	494	Algebraically solvable problems Schauz, Uwe, 2007
	495	Algebraically solvable problems Schauz, Uwe, 2007
	496	Algorithmen zur Konstruktion und Ausdünnung von Spanner-Graphen im cache-oblivious-Modell Gieseke, Fabian. - Dortmund : Univ., Algorithm Engineering, 2007
	497	Algorithmic aspects of triangle-based network analysis Schank, Thomas, 2007
	498	Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture Harmsen, Silvia, [2007]
	499	Algorithmic randomness Mihailović, Nenad, 2007
	500	Algorithmic randomness Mihailović, Nenad, 2007