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

10451 - 10460 von 10713
<< < > >>


Bücher 10451 Variations on constants
Müller-Olm, Markus. - Berlin : Springer, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10452 Verbesserte prozedurale Programmiersprachen
Heinlein, Christian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10453 Vereinheitlichte Spezifikation von Komponenten
Overhage, Sven, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10454 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10455 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10456 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10457 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10458 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10459 Versionsmanagement mit Subversion
Wassermann, Tobias. - [Heidelberg] : mitp, 2006, 1. Aufl. 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10460 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


10451 - 10460 von 10713
<< < > >>




Materialarten

Alle Materialarten > Bücher (10713)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle Standorte > Leipzig (10713)

Aktionen

Aktionen


E-Mail-IconAdministration