Katalog der Deutschen Nationalbibliothek

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

2991 - 3000 von 3265

	2991	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	2992	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	2993	Verified proof carrying code Wildmoser, Martin, 2006
	2994	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	2995	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	2996	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	2997	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	2998	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	2999	Workload modeling for parallel computers Song, Baiyi, [2006]
	3000	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006

2991 - 3000 von 3265