|
1 |
Engineering Trustworthy Software Systems
Singapore : Springer Nature Singapore, Imprint: Springer, 2025, 1st ed. 2025
|
|
|
|
2 |
The Arts and Computational Culture: Real and Virtual Worlds
Cham : Springer Nature Switzerland, Imprint: Springer, 2024, 1st ed. 2024
|
|
|
3 |
Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Enthalten in Formal aspects of computing 5.2.2020: 1-2
|
|
|
|
4 |
Museums and Digital Culture
Cham : Springer International Publishing, 2019, 1st edition 2019
|
|
|
5 |
Museums and Digital Culture
Cham : Springer International Publishing, 2019, 1st edition 2018
|
Verlagsinformation
|
|
|
6 |
Engineering Trustworthy Software Systems
Cham : Springer International Publishing, 2018, 1st edition 2018
|
|
|
|
7 |
Engineering Trustworthy Software Systems
Cham : Springer International Publishing, 2018
|
Verlagsinformation
|
|
|
8 |
Engineering Trustworthy Software Systems
Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
|
9 |
Engineering Trustworthy Software Systems
Cham : Springer International Publishing, 2017, 1st edition 2017
|
|
|
|
10 |
Provably Correct Systems
Cham : Springer International Publishing, 2017, 1st edition 2017
|
|
Administration
