Katalog der Deutschen Nationalbibliothek

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

3101 - 3110 von 3779

	3101	Tamper resistance of AES Krummel, Volker, 2007
	3102	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	3103	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	3104	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	3105	Terminologie in der Softwarelokalisierung Körper, Diana. - Hamburg : Diplom.de, 2007, 1. Auflage
	3106	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	3107	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	3108	The Kiel Esterel processor Li, Xin, 2007
	3109	The role of features and aspects in software development Apel, Sven, 2007
	3110	The SMPI model Braungarten, René, 2007

3101 - 3110 von 3779