Katalog der Deutschen Nationalbibliothek

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

1021 - 1030 von 1230

	1021	Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
	1022	Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Helke, Steffen, 2007
	1023	Verteilte Zugangskontrolle in offenen Ad-hoc-Netzen Kraft, Daniel. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	1024	Virtuelle Java-Maschinen für kleine eingebettete Systeme Böhme, Helge, 2007
	1025	Vision based image retrieval (VBIR) Essig, Kai, 2007
	1026	Web service detection in service oriented software development Letz, Carolin, 2007
	1027	Werkzeuggestützte formale Analyse von Echtzeitsystemen Diethers, Karsten, [2007]
	1028	A security architecture for a peer-to-peer video conference system Liu, Fuwen, 2006
	1029	Advancing operating systems via aspect-oriented programming Engel, Michael, [2006]
	1030	Alert classification to reduce false positives in intrusion detection Pietraszek, Tadeusz, 2006

1021 - 1030 von 1230