| 161. |
Eigenwillig, Arno
(2008)
Real root isolation for exact and approximate polynomials using descartes' rule of signs
Dissertation
|
| 162. |
Berberich, Eric
(2008)
Robust and efficient software for problems in 2.5-dimensional non-linear geometry : algorithms and implementations
Dissertation
|
| 163. |
Funck, Wolfram Alexander
(2008)
Shape deformations based on vector fields
Dissertation
|
| 164. |
Hoche, Michael ; Siekmann, Jörg ; Szabo, Peter
(2008)
String unification is essentially infinitary
Report (Bericht)
|
| 165. |
Hillenbrand, Thomas
(2008)
Superposition and decision procedures back and forth
Dissertation
|
| 166. |
Schewe, Sven
(2008)
Synthesis of distributed systems
Dissertation
|
| 167. |
Knapp, Steffen
(2008)
The correctness of a distributed real-time system
Dissertation
|
| 168. |
Ajwani, Deepak
(2008)
Traversing large graphs in realistic settings
Dissertation
|
| 169. |
Merkel, Andreas
(2008)
Using language models in question answering
Dissertation
|
| 170. |
Hahn, Christian ; Madrigal-Mora, Cristián ; Fischer, Klaus
(2007)
A platform-independent model for agents
Kaiserslautern ; Saarbrücken : DFKI, 2007
Report (Bericht)
|
