Katalog der Deutschen Nationalbibliothek

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

2601 - 2610 von 3254

	2601	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
	2602	Tamper resistance of AES Krummel, Volker, 2007
	2603	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2604	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2605	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2606	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2607	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2608	The Kiel Esterel processor Li, Xin, 2007
	2609	The role of features and aspects in software development Apel, Sven, 2007
	2610	The SMPI model Braungarten, René, 2007