Gebundenes Buch
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
2. Aufl.
30. August 2025
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-99704-4
| Broschiertes Buch | 53,99 € | |
| eBook, PDF | ab 56,95 € |
Broschiertes Buch
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
13. April 2024
Springer / Springer International Publishing / Springer, Berlin
978-3-031-24936-5
| Gebundenes Buch | 57,99 € | |
| eBook, PDF | 44,95 € |
Gebundenes Buch
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
12. April 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-031-24933-4
Broschiertes Buch
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
24. Oktober 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-80509-8
Broschiertes Buch
Development of a Web Services Architecture for Managing Sensitive Data
2008
VDM Verlag Dr. Müller
Buch
Los Alamitos, Conference Publishing Services
Gebundenes Buch
LACONA VI Proceedings, Vienna, Austria, Sept. 21--25, 2005
2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-72129-1
Broschiertes Buch
19. Juni 2019
Waxmann Verlag GmbH
Broschiertes Buch
LACONA VI Proceedings, Vienna, Austria, Sept. 21--25, 2005
2007
25. November 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09129-2
| eBook, PDF | 232,95 € |
Ähnlichkeitssuche: Fact®Finder von OMIKRON
