|
1 |
Operating systems II - student projects
Potsdam : Universitätsverlag Potsdam, 2023
|
|
|
|
2 |
Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 fall retreat
Potsdam : Universitätsverlag Potsdam, 2023
|
|
|
|
3 |
Invariant analysis for multi-agent graph transformation systems using k-induction
Schneider, Sven. - Potsdam : Universitätsverlag Potsdam, 2022
|
|
|
|
4 |
Compositional analysis of probabilistic timed graph transformation systems
Maximova, Maria. - Potsdam : Universitätsverlag Potsdam, 2021
|
|
|
|
5 |
Interval probabilistic timed graph transformation systems
Maximova, Maria. - Potsdam : Universitätsverlag Potsdam, 2021
|
|
|
|
6 |
Exploration of digital knowledge management systems for an improved translation in biomedical engineering
Klöckner, Frederik. - Aachen, [2020]
|
|
|
|
7 |
Engineering service systems in the digital age
Höckmayr, Benedikt S.. - Wiesbaden, Germany : Springer Gabler, [2019]
|
|
|
|
8 |
Modelling and simulation of production systems in industrial and digital engineering
Trebuňa, Peter. - Lüdenscheid, Germany : RAM-Verlag, 2019, [1. Auflage]
|
|
|
|
9 |
Towards version control on object-based systems
Reschke, Jakob. - Potsdam : Universitätsverlag, 2018
|
|
|
|
10 |
Design of digital systems and devices
Berlin : Springer, 2011
|
|
Administration
