Katalog der Deutschen Nationalbibliothek

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

3091 - 3100 von 3322

	3091	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3092	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3093	Verified proof carrying code Wildmoser, Martin, 2006
	3094	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3095	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	3096	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	3097	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3098	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	3099	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	3100	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]

3091 - 3100 von 3322