Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

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

241 - 250 von 301

	241	Cylindrical decomposition under application-oriented paradigms Seidl, Andreas, 2006
	242	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	243	Distributed Abstract State Machines and Their Expressive Power Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
	244	Efficient visual navigation of hierarchically structured graphs Raitner, Marcus, 2006
	245	Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006
	246	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	247	Finite-state genericity Busse, Edgar, 2006
	248	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2006
	249	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	250	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006