Katalog der Deutschen Nationalbibliothek

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

1001 - 1010 von 1230

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

1001 - 1010 von 1230