Katalog der Deutschen Nationalbibliothek

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

1161 - 1170 von 1230

	1161	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice Kutzner, Arne, [2005]
	1162	Energie- und qualitätsbewußte Einplanung von periodischen Prozessen in eingebetteten Echtzeitsystemen Ramsauer, Markus, 2005
	1163	Enhancing the fusion method to fusionB Bittner, Margot, 2005
	1164	Entwicklung von neuen Algorithmen der Computerarithmetik in Hinsicht auf ihre Nutzung in der Kryptographie Bunimov, Viktor, 2005
	1165	Experimentelle Kryptographie mit kontinuierlichen Variablen Lorenz, Stefan, 2005
	1166	Formal approach and applications of algebraic higher-order nets Hoffmann, Kathrin, 2005
	1167	Granularity based multiple coordinated views to improve the information seeking process Müller, Frank, 2005
	1168	HEAVEN Reiner, Bernd, 2005
	1169	Higher order nested data parallelism Leshchinskiy, Roman, 2005
	1170	Inkrementelle Entwicklung von Verhaltensmodellen zum Test von reaktiven Systemen Prenninger, Wolfgang Ludwig Johann, 2005

1161 - 1170 von 1230