|
2591 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|
|
2592 |
Subtype satisfiability and entailment Priesnitz, Tim, [2007]
|
|
|
2593 |
Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
|
|
|
2594 |
Surface approximation with elevation maps and observations thinning in numerical weather prediction Ochotta, Tilo, 2007
|
|
|
2595 |
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
|
|
|
2596 |
Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
|
|
|
2597 |
System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
|
|
|
2598 |
Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
|
|
|
2599 |
Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
|
|
|
2600 |
Tamper resistance of AES Krummel, Volker, 2007
|
|