| 41. |
Aubertin, Isabelle ; Houy, Constantin ; Fettke, Peter ; Loos, Peter
(2012)
Stand der Lehrbuchliteratur zum Geschäftsprozessmanagement - eine quantitative Analyse
Report (Bericht)
|
| 42. |
Schwartz, Tim
(2012)
The always best positioned paradigm for mobile indoor applications
Dissertation
|
| 43. |
Pister, Markus
(2012)
Timing model derivation : pipeline analyzer generation from hardware description languages
Zugl. im Buchhandel: Saarbrücken : Pirrot, 2012
Dissertation
|
| 44. |
Schlickling, Marc
(2012)
Timing model derivation : static analysis of hardware description languages
Zugl. im Buchhandel: Berlin : epubli GmbH, 2013. - 978-3-8442-4513-4
Dissertation
|
| 45. |
Günther, David
(2012)
Topological analysis of discrete scalar data
Dissertation
|
| 46. |
Hritcu, Catalin
(2012)
Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
Dissertation
|
| 47. |
Feld, Michael
(2011)
A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services
Dissertation
|
| 48. |
Bozek, Katarzyna
(2011)
Analysis of HIV-host interaction on different scales
Dissertation
|
| 49. |
Dietrich, Dominik
(2011)
Assertion level proof planning with compiled strategies
Zugl. im Buchhandel: Göttingen : Optimus-Verl., 2012
Dissertation
|
| 50. |
Schuler, David
(2011)
Assessing test quality
Dissertation
|
