Katalog der Deutschen Nationalbibliothek

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

16751 - 16760 von 17429

	16751	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	16752	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	16753	Verified proof carrying code Wildmoser, Martin, 2006
	16754	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	16755	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	16756	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	16757	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	16758	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	16759	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	16760	Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2006

16751 - 16760 von 17429