Katalog der Deutschen Nationalbibliothek

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

7391 - 7400 von 7930

	7391	Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
	7392	Verification, Model Checking, and Abstract Interpretation Cham : Springer International Publishing, 2007
	7393	Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Helke, Steffen, 2007
	7394	Verteilte Zugangskontrolle in offenen Ad-hoc-Netzen Kraft, Daniel. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	7395	Virtuelle Java-Maschinen für kleine eingebettete Systeme Böhme, Helge, 2007
	7396	Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2007, 2., aktualisierte Aufl.
	7397	Vision based image retrieval (VBIR) Essig, Kai, 2007
	7398	Visualization for information retrieval Berlin : Springer, 2007
	7399	Visuelle Kryptographie Klein, Andreas. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	7400	Web data mining Berlin : Springer, 2007