|
4221 |
Structured peer to peer overlays for wireless mobile ad hoc networks Cramer, Curt. - Aachen : Shaker, 2007
|
|
|
4222 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|
|
4223 |
Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
|
|
|
4224 |
Supporting distributed services in mobile ad hoc networks Farkas, Károly. - Aachen : Shaker, 2007
|
|
|
4225 |
Symbolic execution as a framework for deductive verification of object-oriented programs Schlager, Steffen. - Göttingen : Sierke, 2007, 1. Aufl.
|
|
|
4226 |
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
|
|
|
4227 |
Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
|
|
|
4228 |
Synthesizing program generators for embedded software Jung, Michael. - Aachen : Shaker, 2007
|
|
|
4229 |
Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
|
|
|
4230 |
Systemische Lernberatung in der IT-Weiterbildung Heicke, Pamela. - Marburg : Tectum-Verl., 2007
|
|