|
71 |
Quantum Security of Cryptographic Primitives
Gagliardoni, Tommaso. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
72 |
Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security
Marson, Giorgia Azzurra. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
73 |
Schema matching and mapping-based data integration
Do, Hong-Hai. - Leipzig : Universitätsbibliothek Leipzig, 2017
|
|
|
|
74 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
75 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
76 |
Systematic Metric Systems Engineering
Vianden, Matthias. - Aachen : Shaker, 2017, 1. Auflage
|
|
|
|
77 |
A3ME – Device-Agent based Middleware for Mixed Mode Environments
Herzog, Arthur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
78 |
Abstractions for Performance Programming on Multi-Core Architectures with Hierarchical Memory
Terboven, Christian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
79 |
Address spreading in future Internet supporting both the unlinkability of communication relations and the filtering of non legitimate traffic
Fourcot, Florent. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
80 |
Advanced monitoring in P2P botnets
Karuppayah, Shankar. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
Administration
