| 51. |
Müller, Christian
(2011)
Complete formal hardware verification of interfaces for a FlexRay-like bus
Dissertation
|
| 52. |
Zimmer, Henning Lars
(2011)
Correspondence problems in computer vision : novel models, numerics, and applications
Dissertation
|
| 53. |
Tevs, Art
(2011)
Deformable shape matching
Dissertation
|
| 54. |
Schmidt, Mareike Dorothee
(2011)
Formal verification of a small real-time operating system
Dissertation
|
| 55. |
Kleinbauer, Thomas
(2011)
Generating automated meeting summaries
Dissertation
|
| 56. |
Gwosdek, Pascal
(2011)
Hardware-accelerated algorithms in visual computing
Dissertation
|
| 57. |
Spassova, Lübomira
(2011)
Interactive ubiquitous displays based on steerable projection
Dissertation
|
| 58. |
Li, Zhao
(2011)
Multicast MAC extensions for high rate real-time traffic in wireless LANs
Dissertation
|
| 59. |
Emig, Dorothea
(2011)
Novel analysis approaches to context-dependent molecular networks
Dissertation
|
| 60. |
Dehof, Anna Katharina
(2011)
Novel approaches for bond order assignment and NMR shift prediction
Dissertation
|
