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

1601 - 1610 von 1709
<< < > >>


Bücher 1601 Transformations of specifications and proofs to support an evolutionary formal software development
Schairer, Axel. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1602 Unsupervised duplicate detection using sample non-duplicates
Lehti, Patrick, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1603 Usability challenges of PKI
Straub, Tobias, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1604 Verbesserte prozedurale Programmiersprachen
Heinlein, Christian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1605 Vereinheitlichte Spezifikation von Komponenten
Overhage, Sven, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1606 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1607 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1608 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1609 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1610 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


1601 - 1610 von 1709
<< < > >>




Materialarten

Alle Materialarten > Bücher (1709)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (1709)

Standorte

Alle Standorte > Leipzig (1709)

Aktionen

Aktionen


E-Mail-IconAdministration