Katalog der Deutschen Nationalbibliothek

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

981 - 990 von 1204

	981	Vergleich von TOPCASED und GMF mit der Atos Origin Methode QSOS im Rahmen von modellgetriebener Softwareentwicklung Zimmermann, Frank. - Elmshorn : Nordakademie, Hochschule der Wirtschaft, 2007
	982	Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
	983	Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Helke, Steffen, 2007
	984	Verteilte Zugangskontrolle in offenen Ad-hoc-Netzen Kraft, Daniel. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	985	Virtuelle Java-Maschinen für kleine eingebettete Systeme Böhme, Helge, 2007
	986	Vision based image retrieval (VBIR) Essig, Kai, 2007
	987	Web service detection in service oriented software development Letz, Carolin, 2007
	988	Werkzeuggestützte formale Analyse von Echtzeitsystemen Diethers, Karsten, [2007]
	989	A security architecture for a peer-to-peer video conference system Liu, Fuwen, 2006
	990	Abstract State Machines for the Classroom Reisig, Wolfgang. - Berlin : Humboldt-Universität zu Berlin, 2006