Katalog der Deutschen Nationalbibliothek

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

20011 - 20020 von 20823

	20011	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	20012	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	20013	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	20014	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	20015	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	20016	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	20017	Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2006
	20018	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	20019	VPN - Virtuelle Private Netzwerke Lipp, Manfred. - München : Pearson Deutschland, 2006
	20020	Walter Hilperts Rundfunkarbeit Hamburg : Verl. Hans-Bredow-Inst., 2006

20011 - 20020 von 20823