|
2841 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|
|
2842 |
Subtype satisfiability and entailment Priesnitz, Tim, [2007]
|
|
|
2843 |
Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
|
|
|
2844 |
Supporting Distributed Services in Mobile Ad Hoc Networks Farkas, Károly. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
2845 |
Surface approximation with elevation maps and observations thinning in numerical weather prediction Ochotta, Tilo, 2007
|
|
|
2846 |
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
|
|
|
2847 |
Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
|
|
|
2848 |
Synthesizing Program Generators for Embedded Software Jung, Michael. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
2849 |
System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
|
|
|
2850 |
Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
|
|