|
101 |
Time-sensitive Deployment and Management for Cyber-Physical Systems using TOSCA
Nieuwenhuizen, Florian. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2020
|
|
|
|
102 |
Towards an Isabelle Theory for distributed, interactive systems
Stüber, Sebastian. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
103 |
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
|
|
|
|
104 |
Vertrag (en) oder Vertrauen – Wie gelingt deutsch-chinesische Wissenschaftszusammenarbeit?
Paul, Tina. - Hamburg : Kovac, J, 2020, Auflage
|
|
|
|
105 |
Von Herodot bis Hotelportal
Nerad, Friederike Karoline. - Bamberg : University of Bamberg Press, 2020
|
|
|
|
106 |
Alexander von Humboldt – Zwischen Europa und Amerika
Krumpel, Sebastian. - Frankfurt a.M. : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2019
|
|
|
|
107 |
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Greifenberg, Timo. - Düren : Shaker, 2019, 1. Auflage
|
|
|
|
108 |
Authentication of Compressive Sensing based Image Content
Wu, Tao. - Aachen : Shaker, 2019, 1. Auflage
|
|
|
|
109 |
Automated Design of Optimal Medium Access Control Protocols for Wireless Networking
Zhen, Jian. - Düren : Shaker, 2019, 1. Auflage
|
|
|
|
110 |
Automated Optimization of Discrete Event Simulations without Knowing the Model
Stoffers, Mirko. - Düren : Shaker, 2019, 1. Auflage
|
|
Administration
