Katalog der Deutschen Nationalbibliothek

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

851 - 860 von 1070

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

851 - 860 von 1070