|
31 |
Combinatorial robustness testing based on error-constraints
Fögen, Konrad. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
32 |
Entwicklung eines Patternkatalogs für Augmented Reality Interfaces in der Industrie
Koreng, Regina. - Ilmenau : TU Ilmenau, 2021
|
|
|
|
33 |
Exploring gamification in digital learning environments
Schöbel, Sofia. - Kassel : kassel university press c/o Universität Kassel - Universitätsbibliothek, 2021
|
|
|
|
34 |
Organic computing
Kassel : kassel university press c/o Universität Kassel - Universitätsbibliothek, 2021
|
|
|
|
35 |
Active learning with uncertain annotators
Calma, Adrian. - Kassel : kassel university press c/o Universität Kassel - Universitätsbibliothek, 2020
|
|
|
|
36 |
Ad-Hoc stream query processing
Karimov, Jeyhun. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
37 |
Adhesive High-Level Replacement Systems with Negative Application Conditions
Lambers, Leen. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
38 |
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
Rangel, Guilherme. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
39 |
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking
Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
|
|
|
|
40 |
Computational Methods for Gait Analysis in Rodents
Timotius, Ivanna Kristianti. - Erlangen : FAU University Press, 2020
|
|
Administration
