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

2741 - 2750 von 2952
<< < > >>


Bücher 2741 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2742 Verified proof carrying code
Wildmoser, Martin, 2006 		Online Ressource
Bücher 2743 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2744 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2745 Verifying concurrent systems with symbolic execution
Balser, Michael, [2006] 		Online Ressource
Bücher 2746 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2747 Verifying Concurrent Systems with Symbolic Execution
Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage 		Online Ressource
Bücher 2748 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2749 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006 		Online Ressource
Online Ressourcen 2750 Virtual machine support for aspect-oriented programming languages
Haupt, Michael, [2006] 		Online Ressource


2741 - 2750 von 2952
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (2952)

Standorte

Alle Standorte > Leipzig (2952)

Aktionen

Aktionen


E-Mail-IconAdministration