|
21 |
Fault-Tolerance and Deaggregation Security of Aggregate Signatures
Kaidel, Björn. - Karlsruhe : KIT-Bibliothek, 2020
|
|
|
|
22 |
Interaction-Based Creation and Maintenance of Continuously Usable Trace Links
Hübner, Paul. - Heidelberg : Universitätsbibliothek Heidelberg, 2020
|
|
|
|
23 |
Model-Based Product-Line Regression Testing of Variants and Versions of Variants
Lity, Sascha Burkhard. - Braunschweig : Technische Universität Braunschweig, 2020
|
|
|
|
24 |
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
Giarrusso, Paolo G.. - Tübingen : Universitätsbibliothek Tübingen, 2020
|
|
|
|
25 |
Rentabilität von Identity und Access Management im digitalen Wandel
Messerschmidt, Phillip. - Hamburg : Kovac, J, 2020, Auflage
|
|
|
|
26 |
Runtime reconfiguration of physical and virtual pervasive systems
Naber, Jens. - Mannheim : Universitätsbibliothek Mannheim, 2020
|
|
|
|
27 |
Towards an Isabelle Theory for distributed, interactive systems
Stüber, Sebastian. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
28 |
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems
Wenckstern, Michael von. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
29 |
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Greifenberg, Timo. - Düren : Shaker, 2019, 1. Auflage
|
|
|
|
30 |
Authentication of Compressive Sensing based Image Content
Wu, Tao. - Aachen : Shaker, 2019, 1. Auflage
|
|
Administration
