|
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 |
TACLeBench: a benchmark collection to support worst-case execution time research
Falk, Heiko. - Augsburg : Universität Augsburg, 2016
|
|
|
|
114 |
Transmorphic
Schreiber, Robin. - Potsdam : Universität Potsdam, 2016
|
|
|
|
115 |
An algebra of database preferences
Möller, Bernhard. - Augsburg : Universität Augsburg, 2015
|
|
|
|
116 |
Approaches to Automatic Text Structuring
Erbs, Nicolai. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
117 |
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems
Piper, Thorsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
118 |
Code-Reuse Attacks and Defenses
Davi, Lucas Vincenzo. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
119 |
Concepts for In-memory Event Tracing
Wagner, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
|
|
120 |
Context-specific Consistencies in Information Extraction: Rule-based and Probabilistic Approaches
Klügl, Peter. - Würzburg : Würzburg University Press, 2015
|
|
Administration
