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

2731 - 2740 von 2942
<< < > >>


Online Ressourcen 2731 Verified proof carrying code
Wildmoser, Martin, 2006 		Online Ressource
Bücher 2732 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2733 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2734 Verifying concurrent systems with symbolic execution
Balser, Michael, [2006] 		Online Ressource
Bücher 2735 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2736 Verifying Concurrent Systems with Symbolic Execution
Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage 		Online Ressource
Bücher 2737 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2738 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006 		Online Ressource
Online Ressourcen 2739 Virtual machine support for aspect-oriented programming languages
Haupt, Michael, [2006] 		Online Ressource
Bücher 2740 Webserver
Hofer, Reinhard. - Saarbrücken : VDM, Müller, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


2731 - 2740 von 2942
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (2942)

Standorte

Alle Standorte > Frankfurt (2942)

Aktionen

Aktionen


E-Mail-IconAdministration