Katalog der Deutschen Nationalbibliothek

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

241 - 250 von 296

	241	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	242	Finite-state genericity Busse, Edgar, 2006
	243	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2006
	244	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	245	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
	246	How randomized search heuristics find maximum cliques in planar graphs Storch, Tobias. - Dortmund : Universitätsbibliothek Dortmund, 2006
	247	Knotenfärbungen mit Abstandsbedingungen Kohl, Anja, 2006
	248	Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation Ondrusch, Nicole, 2006
	249	Konstruktion von Isomorphieklassen orientierter Matroide Gugisch, Ralf, [2006]
	250	l-groups and Bézout domains Yang, Yi Chuan, 2006