Katalog der Deutschen Nationalbibliothek

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

7381 - 7390 von 7922

	7381	Vergleich von TOPCASED und GMF mit der Atos Origin Methode QSOS im Rahmen von modellgetriebener Softwareentwicklung Zimmermann, Frank. - Elmshorn : Nordakademie, Hochschule der Wirtschaft, 2007
	7382	Verification of object oriented software Berlin : Springer, 2007
	7383	Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
	7384	Verification, Model Checking, and Abstract Interpretation Cham : Springer International Publishing, 2007
	7385	Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Helke, Steffen, 2007
	7386	Verteilte Zugangskontrolle in offenen Ad-hoc-Netzen Kraft, Daniel. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	7387	Virtuelle Java-Maschinen für kleine eingebettete Systeme Böhme, Helge, 2007
	7388	Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2007, 2., aktualisierte Aufl.
	7389	Vision based image retrieval (VBIR) Essig, Kai, 2007
	7390	Visualization for information retrieval Berlin : Springer, 2007