|
21 |
Combinatorial robustness testing based on error-constraints Fögen, Konrad. - Düren : Shaker Verlag, 2021
|
|
|
22 |
Model Analyses Based on Semantic Differencing and Automatic Model Repair Kautz, Oliver. - Düren : Shaker, 2021, 1. Auflage
|
|
|
23 |
Model analyses based on semantic differencing and automatic model repair Kautz, Oliver. - Düren : Shaker Verlag, 2021
|
|
|
24 |
Supervised testing of embedded concurrent software Jahić, Jasmin. - Stuttgart : Fraunhofer Verlag, [2021]
|
|
|
25 |
Ad-Hoc stream query processing Karimov, Jeyhun. - Berlin : Technische Universität Berlin, 2020
|
|
|
26 |
Agile practice experience repository for process improvement Diebold, Philipp. - Stuttgart : Fraunhofer Verlag, [2020]
|
|
|
27 |
Bottom-up knowledge graph-based data management Pomp, André. - Düren : Shaker Verlag, 2020
|
|
|
28 |
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
|
|
|
29 |
CouchEdit - a modular graphical editing architecture for flexible modeling Nachreiner, Leander. - Ulm : Universität Ulm, 2020
|
|
|
30 |
Efficient frequent subtree mining beyond forests Welke, Pascal. - Berlin : AKA, [2020]
|
|