Katalog der Deutschen Nationalbibliothek

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

3091 - 3100 von 3318

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

3091 - 3100 von 3318