Katalog der Deutschen Nationalbibliothek

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

7591 - 7600 von 7874

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