Katalog der Deutschen Nationalbibliothek

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

2981 - 2990 von 3252

	2981	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	2982	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	2983	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	2984	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	2985	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	2986	Workload modeling for parallel computers Song, Baiyi, [2006]
	2987	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006
	2988	Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse Alex, Jürgen, 2006
	2989	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006
	2990	Zur Entwicklung der französischen Universitätsbibliotheken seit 1990 Heide, Janine. - Berlin : Humboldt-Universität zu Berlin, 2006