![Grafik aus der DDR Grafik aus der DDR](https://bilder.buecher.de/produkte/25/25126/25126897m.jpg)
![Concrete Abstractions Concrete Abstractions](https://bilder.buecher.de/produkte/70/70335/70335445m.jpg)
Broschiertes Buch
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
2023
13. April 2024
Springer / Springer International Publishing / Springer, Berlin
978-3-031-24936-5
Gebundenes Buch | 55,99 € |
![Concrete Abstractions Concrete Abstractions](https://bilder.buecher.de/produkte/66/66876/66876096m.jpg)
Gebundenes Buch
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
2023
12. April 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-031-24933-4
![Thinking Programs Thinking Programs](https://bilder.buecher.de/produkte/65/65947/65947229m.jpg)
Broschiertes Buch
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
1st ed. 2021
24. Oktober 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-80509-8
Gebundenes Buch | 74,99 € |
![Thinking Programs Thinking Programs](https://bilder.buecher.de/produkte/62/62003/62003951m.jpg)
Gebundenes Buch
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
1st ed. 2021
23. Oktober 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-80506-7
![Security and Privacy Management in Service Oriented Architectures Security and Privacy Management in Service Oriented Architectures](https://bilder.buecher.de/produkte/25/25529/25529073n.jpg)
Broschiertes Buch
Development of a Web Services Architecture for Managing Sensitive Data
2008
VDM Verlag Dr. Müller
![ISPDC 2007 : 6th International Symposium and Distributed Computing : Hagenberg, Austria July 5 - 8, 2007 ISPDC 2007 : 6th International Symposium and Distributed Computing : Hagenberg, Austria July 5 - 8, 2007](https://bilder.buecher.de/produkte/62/62082/62082356m.jpg)
Buch
Los Alamitos, Conference Publishing Services
![Lasers in the Conservation of Artworks Lasers in the Conservation of Artworks](https://bilder.buecher.de/produkte/22/22817/22817716m.jpg)
Gebundenes Buch
LACONA VI Proceedings, Vienna, Austria, Sept. 21--25, 2005
2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-72129-1
![Lasers in the Conservation of Artworks Lasers in the Conservation of Artworks](https://bilder.buecher.de/produkte/32/32005/32005344m.jpg)
Broschiertes Buch
LACONA VI Proceedings, Vienna, Austria, Sept. 21--25, 2005
Softcover reprint of hardcover 1st ed. 2007
25. November 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09129-2
eBook, PDF | 227,95 € |
![Researching Non-Formal Religious Education in Europe Researching Non-Formal Religious Education in Europe](https://bilder.buecher.de/produkte/56/56821/56821097m.jpg)
Broschiertes Buch
19. Juni 2019
Waxmann Verlag GmbH
Ähnlichkeitssuche: Fact®Finder von OMIKRON