Katalog der Deutschen Nationalbibliothek

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

981 - 990 von 1203

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