Katalog der Deutschen Nationalbibliothek

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

611 - 620 von 722

	611	Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006
	612	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	613	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	614	Finite-state genericity Busse, Edgar, 2006
	615	Finite-state genericity Busse, Edgar, 2006
	616	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2006
	617	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	618	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	619	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
	620	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006