Katalog der Deutschen Nationalbibliothek

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

961 - 970 von 1201

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