Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Die Webseite der DNB ist aus technischen Gründen aktuell nicht erreichbar. Wir arbeiten an der Lösung.

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

7581 - 7590 von 7864

	7581	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	7582	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	7583	Verified proof carrying code Wildmoser, Martin, 2006
	7584	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	7585	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	7586	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	7587	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	7588	Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2006
	7589	Windows Vista - Bild für Bild Schels, Ignatz. - München : Pearson Deutschland, 2006
	7590	Windows Vista Home - Kompendium Joos, Thomas. - München : Pearson Deutschland, 2006

7581 - 7590 von 7864

Alle Materialarten > Online Ressourcen (7864)

Alle Kataloge/Sammlungen

Hochschulschriften (1234)

Alle Standorte > Leipzig (7864)

Aktionen