Katalog der Deutschen Nationalbibliothek

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

641 - 650 von 730

	641	Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006
	642	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	643	Finite-state genericity Busse, Edgar, 2006
	644	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2006
	645	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	646	Fuzzy chaotic systems Berlin : Springer, 2006
	647	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
	648	How randomized search heuristics find maximum cliques in planar graphs Storch, Tobias. - Dortmund : Universitätsbibliothek Dortmund, 2006
	649	Knotenfärbungen mit Abstandsbedingungen Kohl, Anja, 2006
	650	Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation Ondrusch, Nicole, 2006