| 91. |
Daum, Matthhias
(2010)
On the formal foundation of a verification approach for system-level concurrent programs
Dissertation
|
| 92. |
Schlicker, Andreas
(2010)
Ontology-based similarity measures and their application in bioinformatics
Dissertation
|
| 93. |
Rurainski, Alexander
(2010)
Optimization in bioinformatics
Dissertation
|
| 94. |
Johannsen, Daniel
(2010)
Random combinatorial structures and randomized search heuristics
Dissertation
|
| 95. |
Huber, Anna
(2010)
Randomized rounding and rumor spreading with stochastic dependencies
Dissertation
|
| 96. |
Ihlemann, Carsten
(2010)
Reasoning in combinations of theories
Dissertation
|
| 97. |
Hullin, Matthias B.
(2010)
Reconsidering light transport : acquisition and display of real-world reflectance and geometry
Dissertation
|
| 98. |
Schneider, Michael
(2010)
Resource-aware plan recognition in instrumented environments
Dissertation
|
| 99. |
Horbach, Matthias
(2010)
Saturation-based decision procedures for fixed domain and minimal model validity
Dissertation
|
| 100. |
Ali, Safdar
(2010)
Semantic interoperability of ambient intelligent medical devices and e-health systems
Dissertation
|
