|
91 |
Automatic generation of specifications using verification tools
Wasser, Nathan Daniel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
92 |
Chatten, Posten & Co.
Hamburg : FHH, Behörde für Gesundheit und Verbraucherschutz, 2016, November 2016
|
|
|
|
93 |
Collusion Secure Fingerprint Watermarking
Schäfer, Marcel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
94 |
Creating and Maintaining Consistent Documents with Elucidative Development
Bartho, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
95 |
Data Fusion of Surface Meshes and Volumetric Representations
Beyer, Andreas. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
96 |
Discovery of Potential Parallelism in Sequential Programs
Li, Zhen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
97 |
Dynamic Resource Management and Job Scheduling for High Performance Computing
Prabhakaran, Suraj. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
98 |
Evaluation of Intrusion Detection Systems in Virtualized Environments
Milenkoski, Aleksandar. - Würzburg : Universität Würzburg, 2016
|
|
|
|
99 |
Extending a dynamic programming language and runtime environment with access control
Tessenow, Philipp. - Potsdam : Universität Potsdam, 2016
|
|
|
|
100 |
Flexible low-density parity-check codes
Beermann, Moritz. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
Administration
