| 101. |
Horbach, Matthias
(2010)
Saturation-based decision procedures for fixed domain and minimal model validity
Dissertation
|
| 102. |
Ali, Safdar
(2010)
Semantic interoperability of ambient intelligent medical devices and e-health systems
Dissertation
|
| 103. |
Dräger, Klaus
(2010)
Subsequence invariants
Dissertation
|
| 104. |
Schmitz, Michael
(2010)
Tangible interaction with anthropomorphic smart objects in instrumented environments
Dissertation
|
| 105. |
Berberich, Klaus Lorenz
(2010)
Temporal search in web archives
Dissertation
|
| 106. |
Harren, Rolf
(2010)
Two-dimensional packing problems
Dissertation
|
| 107. |
Spenst, Aleksej
(2009)
A user-centric QoS management system for wireless home networks
Dissertation
|
| 108. |
Kümmel, Sylvia
(2009)
Adaptive time-frequency analysis for cognitive source separation
Dissertation
|
| 109. |
Schöning, Johannes
(2009)
Advanced user interfaces for spatial information
Dissertation
|
| 110. |
Schöning, Johannes
(2009)
Advanced user interfaces for spatial information
Dissertation
|
