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