Katalog der Deutschen Nationalbibliothek

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

231 - 240 von 287

	231	Cylindrical decomposition under application-oriented paradigms Seidl, Andreas, 2006
	232	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	233	Efficient visual navigation of hierarchically structured graphs Raitner, Marcus, 2006
	234	Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006
	235	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	236	Finite-state genericity Busse, Edgar, 2006
	237	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2006
	238	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	239	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
	240	Knotenfärbungen mit Abstandsbedingungen Kohl, Anja, 2006