| 91. |
Krebs, Jochen
(2010)
Lösungsmethoden und Fehlerabschätzungen für semi-diskrete inverse Probleme
Dissertation
|
| 92. |
Dischinger, Marcel
(2010)
Making broadband access networks transparent to researchers, developers, and users
Dissertation
|
| 93. |
Tsovaltzi, Dimitra
(2010)
MENON : automating a Socratic teaching model for mathematical proofs
Dissertation
|
| 94. |
Dallmeier, Valentin
(2010)
Mining and checking object behavior
Dissertation
|
| 95. |
Kuhtz, Lars
(2010)
Model checking finite paths and trees
Dissertation
|
| 96. |
Hasler, Nils
(2010)
Modelling human pose and shape based on a database of human 3D scans
Dissertation
|
| 97. |
Pizarro, Luis
(2010)
Nonlocal smoothing and adaptive morphology for scalar- and matrix-valued images
Dissertation
|
| 98. |
Daum, Matthhias
(2010)
On the formal foundation of a verification approach for system-level concurrent programs
Dissertation
|
| 99. |
Schlicker, Andreas
(2010)
Ontology-based similarity measures and their application in bioinformatics
Dissertation
|
| 100. |
Rurainski, Alexander
(2010)
Optimization in bioinformatics
Dissertation
|
