Katalog der Deutschen Nationalbibliothek

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

1031 - 1040 von 1234

	1031	Werkzeuggestützte formale Analyse von Echtzeitsystemen Diethers, Karsten, [2007]
	1032	A security architecture for a peer-to-peer video conference system Liu, Fuwen, 2006
	1033	Advancing operating systems via aspect-oriented programming Engel, Michael, [2006]
	1034	Alert classification to reduce false positives in intrusion detection Pietraszek, Tadeusz, 2006
	1035	Algebraic attacks on certain stream ciphers Armknecht, Frederik, 2006
	1036	Algorithms for the satisfiability problem Rolf, Daniel, 2006
	1037	An engineering method for adaptive, context aware Web applications Kaltz, Joachim Wolfgang, 2006
	1038	Analyse, Modellierung und Simulation der visuell-räumlichen Kognition bei der Mensch-Maschine-Interaktion Winkelholz, Carsten. - Aachen : Shaker, 2006, 1. Auflage
	1039	Analysis of algorithms and data structures for text indexing Maaß, Moritz G., 2006
	1040	Analyzing demand in non-strict functional programming languages Schütz, Marko, [2006]

1031 - 1040 von 1234