|
191 |
Assistenzsysteme für verteilte Veranstaltungen
Schaller, Richard. - Erlangen : FAU University Press, 2016
|
|
|
|
192 |
Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors
Krasowski, Nikola Enrico. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
193 |
Automatic generation of specifications using verification tools
Wasser, Nathan Daniel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
194 |
Beitrag zur Betrachtung von MTTFSpurious-Modellierung im Zusammenhang mit dem internationalen Sicherheitsstandard IEC 61508
Dang, P. N. Thao. - Kassel : Kassel University Press, 2016
|
|
|
|
195 |
Collusion Secure Fingerprint Watermarking
Schäfer, Marcel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
196 |
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Ben Makhlouf, Ibtissem. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
197 |
Comparative Evaluation and Improvement of Computational Approaches to Reachability Analysis of Linear Hybrid Systems
Ben Makhlouf, Ibtissem. - Aachen : Shaker, 2016, 1. Auflage
|
|
|
|
198 |
Concepts for Enhancing Correspondence Vector Field Quality
Brüggemann, Matthias. - Aachen : Shaker, 2016, 1. Auflage
|
|
|
|
199 |
Consumerization: Enabling the Introduction of IT Services for Mobile Consumer Devices
Weiß, Frank. - Kassel : Kassel University Press, 2016
|
|
|
|
200 |
Creating and Maintaining Consistent Documents with Elucidative Development
Bartho, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
Administration
