Katalog der Deutschen Nationalbibliothek

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

2631 - 2640 von 3258

	2631	Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
	2632	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
	2633	Tamper resistance of AES Krummel, Volker, 2007
	2634	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2635	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2636	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2637	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2638	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2639	The Kiel Esterel processor Li, Xin, 2007
	2640	The role of features and aspects in software development Apel, Sven, 2007