Katalog der Deutschen Nationalbibliothek

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

2601 - 2610 von 3259

	2601	Surface approximation with elevation maps and observations thinning in numerical weather prediction Ochotta, Tilo, 2007
	2602	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	2603	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	2604	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	2605	Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
	2606	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
	2607	Tamper resistance of AES Krummel, Volker, 2007
	2608	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2609	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2610	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]