Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 
 


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

251 - 260 von 309
<< < > >>


Online Ressourcen 251 Blattsprachen und Blattfunktionen
Galota, Matthias, 2006 		Online Ressource
Online Ressourcen 252 Cylindrical decomposition under application-oriented paradigms
Seidl, Andreas, 2006 		Online Ressource
Online Ressourcen 253 Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006 		Online Ressource
Online Ressourcen 254 Efficient visual navigation of hierarchically structured graphs
Raitner, Marcus, 2006 		Online Ressource
Online Ressourcen 255 Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen
Beelitz, Thomas, 2006 		Online Ressource
Online Ressourcen 256 Elementare Wege zur mathematischen Modellbildung
Gotzen, Bernd, 2006 		Online Ressource
Online Ressourcen 257 Finite-state genericity
Busse, Edgar, 2006 		Online Ressource
Online Ressourcen 258 Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2006 		Online Ressource
Online Ressourcen 259 Formalizing plane graph theory
Bauer, Gertrud Josefine, 2006 		Online Ressource
Online Ressourcen 260 Galleries and q-analogs in combinatorial representation theory
Schwer, Christoph, 2006 		Online Ressource


251 - 260 von 309
<< < > >>




Materialarten

Alle Materialarten > Online Ressourcen (309)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (309)

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration