Katalog der Deutschen Nationalbibliothek

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

3201 - 3210 von 3439

	3201	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3202	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	3203	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	3204	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3205	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	3206	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	3207	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	3208	Workload modeling for parallel computers Song, Baiyi, [2006]
	3209	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006
	3210	Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse Alex, Jürgen, 2006

3201 - 3210 von 3439