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=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

7491 - 7500 von 8004
<< < > >>


Bücher 7491 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7492 Verified proof carrying code
Wildmoser, Martin, 2006
Online Ressource
Bücher 7493 Verified proof carrying code
Wildmoser, Martin, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7494 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7495 Verifying concurrent systems with symbolic execution
Balser, Michael, [2006]
Online Ressource
Bücher 7496 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7497 Verifying Concurrent Systems with Symbolic Execution
Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
Online Ressource
Bücher 7498 Verlässlichkeit in Campusnetzen
Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7499 Versuche zum Lernen artikulierter Objekte aus Bildsequenzen
Schäfer, Achim. - Aachen : Shaker, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7500 Versuche zum Lernen artikulierter Objekte aus Bildsequenzen
Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
Online Ressource


7491 - 7500 von 8004
<< < > >>


E-Mail-IconAdministration