Katalog der Deutschen Nationalbibliothek

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

2421 - 2430 von 2996

	2421	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	2422	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	2423	Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
	2424	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
	2425	Tamper resistance of AES Krummel, Volker, 2007
	2426	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2427	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2428	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2429	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2430	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007

2421 - 2430 von 2996