|
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]
|
|