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

601 - 610 von 722
<< < > >>


Bücher 601 Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture
Harmsen, Silvia, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 602 Algorithmische Eigenschaften von Branching-Time-Logiken
Bauer, Sebastian, 2006 		Online Ressource
Bücher 603 Algorithmische Eigenschaften von Branching-Time-Logiken
Bauer, Sebastian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 604 Blattsprachen und Blattfunktionen
Galota, Matthias, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 605 Blattsprachen und Blattfunktionen
Galota, Matthias, 2006 		Online Ressource
Online Ressourcen 606 Cylindrical decomposition under application-oriented paradigms
Seidl, Andreas, 2006 		Online Ressource
Online Ressourcen 607 Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006 		Online Ressource
Bücher 608 Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 609 Distance desert automata and star height substitutions
Kirsten, Daniel, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 610 Efficient visual navigation of hierarchically structured graphs
Raitner, Marcus, 2006 		Online Ressource


601 - 610 von 722
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (722)

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration