|
131 |
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Ben Makhlouf, Ibtissem. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
132 |
Creating and Maintaining Consistent Documents with Elucidative Development
Bartho, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
133 |
Crowdsourced Interactive Computer Vision
Schwarzer-Becker, Moritz. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
134 |
Data Fusion of Surface Meshes and Volumetric Representations
Beyer, Andreas. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
135 |
Der Berufswahlprozess von Informatiklehrkräften
Müller, Dorothea. - Wuppertal : Universitätsbibliothek Wuppertal, 2016
|
|
|
|
136 |
Design and application of variable-to-variable length codes
Kirchhoffer, Heiner. - Rostock : Universität Rostock, 2016
|
|
|
|
137 |
Design Considerations and Application Examples for Embedded Classification Systems
Jensen, Ulf. - Erlangen : FAU University Press, 2016
|
|
|
|
138 |
Discovery of Potential Parallelism in Sequential Programs
Li, Zhen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
139 |
Dynamic Resource Management and Job Scheduling for High Performance Computing
Prabhakaran, Suraj. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
140 |
Evaluation of Intrusion Detection Systems in Virtualized Environments
Milenkoski, Aleksandar. - Würzburg : Universität Würzburg, 2016
|
|
Administration
