|
41 |
Integration of Prolog and Java with the Connector Architecture CAPJa
Ostermayer, Ludwig. - Würzburg : Universität Würzburg, 2017
|
|
|
|
42 |
Modes of operation for Compressed Sensing based encryption
Fay, Robin. - Siegen : Universitätsbibliothek der Universität Siegen, 2017
|
|
|
|
43 |
On Generating Gadget Chains for Return-Oriented Programming
Follner, Andreas. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
44 |
On the Use of Migration to Stop Illicit Channels
Falzon, Kevin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
45 |
Quantum Security of Cryptographic Primitives
Gagliardoni, Tommaso. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
46 |
Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security
Marson, Giorgia Azzurra. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
47 |
Schema matching and mapping-based data integration
Do, Hong-Hai. - Leipzig : Universitätsbibliothek Leipzig, 2017
|
|
|
|
48 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
49 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
50 |
A3ME – Device-Agent based Middleware for Mixed Mode Environments
Herzog, Arthur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
Administration
