| 81. |
Dörrenbächer, Jan
(2010)
Formal specification and verification of a microkernel
Dissertation
|
| 82. |
Ziegler, Gernot
(2010)
GPU data structures for graphics and vision
Dissertation
|
| 83. |
Melo, Gerard de
(2010)
Graph-based methods for large-scale multilingual knowledge integration
Dissertation
|
| 84. |
Stein, Ingmar Jendrik
(2010)
ILP-based path analysis on abstract pipeline state graphs
Dissertation
|
| 85. |
Kratsch, Stefan
(2010)
Kernelization of generic problems : upper and lower bounds
Dissertation
|
| 86. |
Krebs, Jochen
(2010)
Lösungsmethoden und Fehlerabschätzungen für semi-diskrete inverse Probleme
Dissertation
|
| 87. |
Dischinger, Marcel
(2010)
Making broadband access networks transparent to researchers, developers, and users
Dissertation
|
| 88. |
Tsovaltzi, Dimitra
(2010)
MENON : automating a Socratic teaching model for mathematical proofs
Dissertation
|
| 89. |
Dallmeier, Valentin
(2010)
Mining and checking object behavior
Dissertation
|
| 90. |
Kuhtz, Lars
(2010)
Model checking finite paths and trees
Dissertation
|
