Katalog der Deutschen Nationalbibliothek

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

2851 - 2860 von 3444

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

2851 - 2860 von 3444