Katalog der Deutschen Nationalbibliothek

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

961 - 970 von 1203

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