|
21 |
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
Giarrusso, Paolo G.. - Tübingen : Universitätsbibliothek Tübingen, 2020
|
|
|
|
22 |
Runtime reconfiguration of physical and virtual pervasive systems
Naber, Jens. - Mannheim : Universitätsbibliothek Mannheim, 2020
|
|
|
|
23 |
Study on Data Placement Strategies in Distributed RDF Stores
Janke, Daniel. - Koblenz : Universität Koblenz-Landau, 2020
|
|
|
|
24 |
Cognitive-support code review tools
Baum, Tobias. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2019
|
|
|
|
25 |
Effective and Efficient Summarization of Two-Dimensional Point Data
Kufer, Stefan. - Bamberg : University of Bamberg Press, 2019
|
|
|
|
26 |
Efficient Frequent Subtree Mining Beyond Forests
Welke, Pascal. - Bonn : Universitäts- und Landesbibliothek Bonn, 2019
|
|
|
|
27 |
Reverse Engineering of Real-Time System Models From Event Trace Recordings
Sailer, Andreas. - Bamberg : University of Bamberg Press, 2019
|
|
|
|
28 |
A Methodology for the Cryptanalysis of Classical Ciphers with Search Metaheuristics
Lasry, George. - Kassel : Kassel University Press, 2018
|
|
|
|
29 |
Learning Code Transformations from Repositories
Dotzler, Georg. - Erlangen : FAU University Press, 2018
|
|
|
|
30 |
Model-driven engineering of self-adaptive software
Vogel, Thomas. - Potsdam : Universität Potsdam, 2018
|
|
Administration
