|
111 |
The concept of transprecision computing
Scheidegger, Florian. - Konstanz : Hartung-Gorre Verlag, 2020, First edition
|
|
|
112 |
Time-sensitive Deployment and Management for Cyber-Physical Systems using TOSCA
Nieuwenhuizen, Florian. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2020
|
|
|
|
113 |
Towards a theory for designing machine learning systems for complex decision making problems
Tofangchi, Schahin. - Göttingen : Cuvillier Verlag, 2020, 1. Auflage
|
|
|
|
114 |
Towards an Isabelle Theory for distributed, interactive systems
Stüber, Sebastian. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
115 |
Utilizing change impact analysis for improving effort estimation in agile software development
Tanveer, Binish. - Stuttgart : Fraunhofer Verlag, [2020]
|
|
|
|
116 |
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
|
|
|
|
117 |
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
Wenckstern, Michael$cvon. - Düren : Shaker Verlag, 2020, [1. Auflage]
|
|
|
|
118 |
Visual cues for locating out-of-view objects in mixed reality
Grünefeld, Uwe. - Edewecht : OlWIR Oldenburger Verlag für Wirtschaft, Informatik und Recht, 2020
|
|
|
|
119 |
A framework for managing quality of service in cloud computing through service level agreements
Ziegler, Wolfgang. - Stuttgart : FRAUNHOFER VERLAG, [2019]
|
|
|
|
120 |
Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML
Blundell, Inga. - Düren : Shaker Verlag, 2019, [1. Auflage]
|
|
Administration
