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=00*
im Bestand: Gesamter Bestand

3431 - 3434 von 3434
<< < > >>


Online Ressourcen 3431 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
Online Ressource
Online Ressourcen 3432 Case retrieval nets as a model for building flexible information systems
Lenz, Mario, 1999
Online Ressource
Online Ressourcen 3433 Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
Online Ressource
Online Ressourcen 3434 On some promise classes in structural complexity theory
Rothe, Jörg, 1995
Online Ressource


3431 - 3434 von 3434
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (3434)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (3434)

Standorte

Alle StandorteFrankfurt (3434)

E-Mail-IconAdministration