Katalog der Deutschen Nationalbibliothek

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

641 - 650 von 733

	641	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	642	Distributed Abstract State Machines and Their Expressive Power Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
	643	Efficient visual navigation of hierarchically structured graphs Raitner, Marcus, 2006
	644	Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006
	645	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	646	Finite-state genericity Busse, Edgar, 2006
	647	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2006
	648	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	649	Fuzzy chaotic systems Berlin : Springer, 2006
	650	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006