|
11 |
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
Matheson, Dan McKay. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
12 |
Selecting and reducing key sizes for multivariate cryptography
Petzoldt, Albrecht. - Leipzig : Deutsche Nationalbibliothek, 2022
|
|
|
|
13 |
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
Grönniger, Hans. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
14 |
Blockchain Signaling System
Rodrigues, Bruno. - Düren : Shaker, 2021, 1. Auflage
|
|
|
|
15 |
Combinatorial Robustness Testing based on Error-Constraints
Fögen, Konrad. - Düren : Shaker, 2021, 1. Auflage
|
|
|
|
16 |
Combinatorial robustness testing based on error-constraints
Fögen, Konrad. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
17 |
Model Analyses Based on Semantic Differencing and Automatic Model Repair
Kautz, Oliver. - Düren : Shaker, 2021, 1. Auflage
|
|
|
|
18 |
Ad-Hoc stream query processing
Karimov, Jeyhun. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
19 |
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking
Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
|
|
|
|
20 |
CouchEdit - a modular graphical editing architecture for flexible modeling
Nachreiner, Leander. - Ulm : Universität Ulm, 2020
|
|
Administration
