|
111 |
Securely Instantiating Cryptographic Schemes Based on the Learning with Errors Assumption
Göpfert, Florian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
112 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Appold, Christian. - Würzburg : Universität Würzburg, 2016
|
|
|
|
113 |
Approaches to Automatic Text Structuring
Erbs, Nicolai. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
114 |
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems
Piper, Thorsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
115 |
Code-Reuse Attacks and Defenses
Davi, Lucas Vincenzo. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
116 |
Concepts for In-memory Event Tracing
Wagner, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
|
|
117 |
Context-specific Consistencies in Information Extraction: Rule-based and Probabilistic Approaches
Klügl, Peter. - Würzburg : Würzburg University Press, 2015
|
|
|
|
118 |
Domain-sensitive Temporal Tagging for Event-centric Information Retrieval
Strötgen, Jannik. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
|
|
|
|
119 |
Dynamic task scheduling and binding for many-core systems through stream rewriting
Middendorf, Lars. - Rostock : Universität Rostock, 2015
|
|
|
|
120 |
Entwicklung der Softwareplattform RESUS
Li, Xiaoshuo. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2015
|
|
Administration
