Katalog der Deutschen Nationalbibliothek

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

3191 - 3200 von 3434

	3191	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	3192	Usability challenges of PKI Straub, Tobias, 2006
	3193	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3194	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3195	Verified proof carrying code Wildmoser, Martin, 2006
	3196	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3197	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	3198	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	3199	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3200	Verteilte kooperative Wissensräume Bopp, Thomas, 2006

3191 - 3200 von 3434