|
111 |
Quantum Security of Cryptographic Primitives
Gagliardoni, Tommaso. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
112 |
Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security
Marson, Giorgia Azzurra. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
113 |
Run-time Reconfigurable Constant Multiplication on Field Programmable Gate Arrays
Möller, Konrad. - Kassel : Kassel University Press, 2017
|
|
|
|
114 |
Schema matching and mapping-based data integration
Do, Hong-Hai. - Leipzig : Universitätsbibliothek Leipzig, 2017
|
|
|
|
115 |
Second Order Minimum Energy Filtering of Joint Variational Camera Motion and Depth Map Reconstructions
Berger, Johannes Peter. - Heidelberg : Universitätsbibliothek Heidelberg, 2017
|
|
|
|
116 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
117 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
118 |
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Rehfeld, Stephan. - Würzburg : Universität Würzburg, 2017
|
|
|
|
119 |
Vertical handover management with quality of service support
Al-Rubaye, Atheer. - Ilmenau : Universitätsbibliothek Ilmenau, 2017
|
|
|
|
120 |
A3ME – Device-Agent based Middleware for Mixed Mode Environments
Herzog, Arthur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
Administration
