|
161 |
Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors
Krasowski, Nikola Enrico. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
162 |
Automatic generation of specifications using verification tools
Wasser, Nathan Daniel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
163 |
Automatisierte Verfahren für die Themenanalyse nachrichtenorientierter Textquellen
Niekler, Andreas. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
164 |
Collusion Secure Fingerprint Watermarking
Schäfer, Marcel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
165 |
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Ben Makhlouf, Ibtissem. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
166 |
Creating and Maintaining Consistent Documents with Elucidative Development
Bartho, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
167 |
Crowdsourced Interactive Computer Vision
Schwarzer-Becker, Moritz. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
168 |
Das kulturelle Deutungsmuster Europa im deutschen Mediendiskurs zum EU-Beitritt der Türkei
Maringer, Isabelle. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
169 |
Data Fusion of Surface Meshes and Volumetric Representations
Beyer, Andreas. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
170 |
Der Berufswahlprozess von Informatiklehrkräften
Müller, Dorothea. - Wuppertal : Universitätsbibliothek Wuppertal, 2016
|
|
Administration
