 |
|
|
|
|
|
- Becker, Christian: System Support for Context-aware Computing, Habilitation, 2004.
- Haala, Norbert: Multi-Sensor-Photogrammetrie - Vision oder Wirklichkeit?, Habilitation, 2005.
- König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Habilitation, 2004.
- Lohrey, Markus: Computational and logical aspects of infinite monoids, Habilitation, 2003.
- Petersen, Holger: Gegenseitige Simulation von Datenstrukturen, Habilitation, 2003.
- Schanz, M.: The AnT project: On the simulation and analysis of dynamical systems, Habilitation, 2005.
|
|
|
|
wm)
|
© Universität Stuttgart
|
Impressum
|
Datenschutzerklärung