|
61 |
Supporting domain modeling with automated knowledge acquisition and modeling recommendations
Agt-Rickauer, Henning. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
62 |
Time-sensitive Deployment and Management for Cyber-Physical Systems using TOSCA
Nieuwenhuizen, Florian. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2020
|
|
|
|
63 |
Towards an Isabelle Theory for distributed, interactive systems
Stüber, Sebastian. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
64 |
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
|
|
|
|
65 |
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Greifenberg, Timo. - Düren : Shaker, 2019, 1. Auflage
|
|
|
|
66 |
Authentication of Compressive Sensing based Image Content
Wu, Tao. - Aachen : Shaker, 2019, 1. Auflage
|
|
|
|
67 |
Automated Design of Optimal Medium Access Control Protocols for Wireless Networking
Zhen, Jian. - Düren : Shaker, 2019, 1. Auflage
|
|
|
|
68 |
Automatic Code Generation for Massively Parallel Applications in Computational Fluid Dynamics
Kuckuk, Sebastian. - Erlangen : FAU University Press, 2019
|
|
|
|
69 |
Cognitive-support code review tools
Baum, Tobias. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2019
|
|
|
|
70 |
Computer-Aided Development of Robust Embedded Software
Kleeberger, Petra Roswitha. - München : Verlag Dr. Hut, 2019
|
|
Administration
