Katalog der Deutschen Nationalbibliothek

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

3101 - 3110 von 3780

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

3101 - 3110 von 3780