Katalog der Deutschen Nationalbibliothek

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

641 - 650 von 732

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