| 41. |
Feld, Michael
(2011)
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
Dissertation
|
| 42. |
Bozek, Katarzyna
(2011)
Analysis of HIV-host interaction on different scales
Dissertation
|
| 43. |
Dietrich, Dominik
(2011)
Assertion level proof planning with compiled strategies
Zugl. im Buchhandel: Göttingen : Optimus-Verl., 2012
Dissertation
|
| 44. |
Schuler, David
(2011)
Assessing test quality
Dissertation
|
| 45. |
Müller, Christian
(2011)
Complete formal hardware verification of interfaces for a FlexRay-like bus
Dissertation
|
| 46. |
Zimmer, Henning Lars
(2011)
Correspondence problems in computer vision : novel models, numerics, and applications
Dissertation
|
| 47. |
Tevs, Art
(2011)
Deformable shape matching
Dissertation
|
| 48. |
Schmidt, Mareike Dorothee
(2011)
Formal verification of a small real-time operating system
Dissertation
|
| 49. |
Kleinbauer, Thomas
(2011)
Generating automated meeting summaries
Dissertation
|
| 50. |
Thielen, Alexander
(2011)
Genotypic analysis of HIV-1 coreceptor usage
Dissertation
|
