| 81. |
Goguadze, Giorgi
(2010)
ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies
Dissertation
|
| 82. |
Altmann, André
(2010)
Bioinformatical approaches to ranking of anti-HIV combination therapies and planning of treatment schedules
Dissertation
|
| 83. |
Backes, Christina
(2010)
Bioinformatics approaches for cancer research
Dissertation
|
| 84. |
Zhu, Hongbo
(2010)
Characterization, classi cation and alignment of protein-protein interfaces
Dissertation
|
| 85. |
Hoffmann, Christian
(2010)
Computational complexity of graph polynomials
Dissertation
|
| 86. |
Dörrenbächer, Jan
(2010)
Formal specification and verification of a microkernel
Dissertation
|
| 87. |
Ziegler, Gernot
(2010)
GPU data structures for graphics and vision
Dissertation
|
| 88. |
Melo, Gerard de
(2010)
Graph-based methods for large-scale multilingual knowledge integration
Dissertation
|
| 89. |
Stein, Ingmar Jendrik
(2010)
ILP-based path analysis on abstract pipeline state graphs
Dissertation
|
| 90. |
Kratsch, Stefan
(2010)
Kernelization of generic problems : upper and lower bounds
Dissertation
|
