|
31 |
Cognitive-support code review tools
Baum, Tobias. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2019
|
|
|
|
32 |
Computer-Aided Development of Robust Embedded Software
Kleeberger, Petra Roswitha. - München : Verlag Dr. Hut, 2019
|
|
|
|
33 |
Effective and Efficient Summarization of Two-Dimensional Point Data
Kufer, Stefan. - Bamberg : University of Bamberg Press, 2019
|
|
|
|
34 |
Efficient Frequent Subtree Mining Beyond Forests
Welke, Pascal. - Bonn : Universitäts- und Landesbibliothek Bonn, 2019
|
|
|
|
35 |
Reverse Engineering of Real-Time System Models From Event Trace Recordings
Sailer, Andreas. - Bamberg : University of Bamberg Press, 2019
|
|
|
|
36 |
SAMEM: A Methodology for the Elicitation and Specification of Requirements for Agile Model-driven Engineering of Large Software Solutions
Matheson, Dan McKay. - Aachen : Shaker, 2019, 1. Auflage
|
|
|
|
37 |
Communication Security for Distributed Mixed-Criticality Systems
Koller, Thomas. - Aachen : Shaker, 2018, 1. Auflage
|
|
|
|
38 |
Data Revocation on the Internet
Kieselmann, Olga. - Kassel : Kassel University Press, 2018
|
|
|
|
39 |
Designing Digital Services with Cryptographic Guarantees for Data Security and Privacy
Ziegeldorf, Jan Henrik. - Aachen : Shaker, 2018, 1. Auflage
|
|
|
|
40 |
High-Level Side-Channel Leakage Models with Application to Compilers
Seuschek, Hermann Zeno. - München : Verlag Dr. Hut, 2018
|
|
Administration
