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

1121 - 1130 von 1232
<< < > >>


Online Ressourcen 1121 Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern
Meyer, Andreas Alfred, 2006
Online Ressource
Online Ressourcen 1122 Unsupervised duplicate detection using sample non-duplicates
Lehti, Patrick, 2006
Online Ressource
Online Ressourcen 1123 Usability challenges of PKI
Straub, Tobias, 2006
Online Ressource
Online Ressourcen 1124 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006
Online Ressource
Online Ressourcen 1125 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
Online Ressource
Online Ressourcen 1126 Verified proof carrying code
Wildmoser, Martin, 2006
Online Ressource
Online Ressourcen 1127 Verifying concurrent systems with symbolic execution
Balser, Michael, [2006]
Online Ressource
Online Ressourcen 1128 Verifying Concurrent Systems with Symbolic Execution
Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
Online Ressource
Online Ressourcen 1129 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006
Online Ressource
Online Ressourcen 1130 Virtual machine support for aspect-oriented programming languages
Haupt, Michael, [2006]
Online Ressource


1121 - 1130 von 1232
<< < > >>


E-Mail-IconAdministration