|
61 |
Automatic generation of specifications using verification tools
Wasser, Nathan Daniel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
62 |
Collusion Secure Fingerprint Watermarking
Schäfer, Marcel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
63 |
Creating and Maintaining Consistent Documents with Elucidative Development
Bartho, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
64 |
Data Fusion of Surface Meshes and Volumetric Representations
Beyer, Andreas. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
65 |
Discovery of Potential Parallelism in Sequential Programs
Li, Zhen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
66 |
Dynamic Resource Management and Job Scheduling for High Performance Computing
Prabhakaran, Suraj. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
67 |
Evaluation of Intrusion Detection Systems in Virtualized Environments
Milenkoski, Aleksandar. - Würzburg : Universität Würzburg, 2016
|
|
|
|
68 |
Flexible low-density parity-check codes
Beermann, Moritz. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
69 |
Full-Stack Static Security Analysis for the Java Platform
Hermann, Ben. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
70 |
High performance algorithms for lattice-based cryptanalysis
Mariano, Artur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
Administration
