Katalog der Deutschen Nationalbibliothek

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

961 - 970 von 1202

	961	Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
	962	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	963	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	964	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	965	Tamper resistance of AES Krummel, Volker, 2007
	966	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	967	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	968	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	969	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	970	The Kiel Esterel processor Li, Xin, 2007