Katalog der Deutschen Nationalbibliothek

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

2681 - 2690 von 2907

	2681	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	2682	Verified proof carrying code Wildmoser, Martin, 2006
	2683	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	2684	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	2685	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	2686	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	2687	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	2688	Workload modeling for parallel computers Song, Baiyi, [2006]
	2689	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006
	2690	Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse Alex, Jürgen, 2006

2681 - 2690 von 2907