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

1231 - 1232 von 1232
<< < > >>


Online Ressourcen 1231 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999 		Online Ressource
Online Ressourcen 1232 Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999 		Online Ressource


1231 - 1232 von 1232
<< < > >>




Materialarten

Alle Materialarten > Online Ressourcen (1232)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (1232)

Standorte

Alle Standorte > Leipzig (1232)

Aktionen

Aktionen


E-Mail-IconAdministration