Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 
 


Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

10461 - 10470 von 10718
<< < > >>


Bücher 10461 Verified proof carrying code
Wildmoser, Martin, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10462 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10463 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10464 Versionsmanagement mit Subversion
Wassermann, Tobias. - [Heidelberg] : mitp, 2006, 1. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10465 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10466 Videos, Daten, Musik auf CD und DVD ... mit Nero 6 Reloaded! ; Filme, Bilder, Backups mit Nero ; DVD-Brennen
Moritz, André. - Osnabrück : KnowWare, 2006, 2. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10467 Visual Basic
Schumann, Hans-Georg. - Osnabrück : KnowWare, 2006, 1. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10468 Visual Basic 2005
Born, Günter. - [Frankfurt (Main)] : Entwickler.press, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10469 Visual Basic 2005 Express Edition
Samaschke, Karsten. - [Frankfurt (Main)] : Entwickler.press, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10470 Visual Basic zonder stress
Diedrich, Kurt. - Beek (Lb.) : Uitg. Segment, 2006, 1. dr.
Vorhanden in Leipzig


10461 - 10470 von 10718
<< < > >>


E-Mail-IconAdministration