Katalog der Deutschen Nationalbibliothek

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

3501 - 3510 von 3777

	3501	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	3502	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	3503	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3504	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	3505	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	3506	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	3507	Workload modeling for parallel computers Song, Baiyi, [2006]
	3508	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006
	3509	Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse Alex, Jürgen, 2006
	3510	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006

3501 - 3510 von 3777