Buch
Frankfurt a. M. etc. : Diesterweg - Frankfurt a. M. : Sauerländer
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 € | |
| eBook, PDF | 44,95 € |
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
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 € | |
| eBook, PDF | 57,95 € |
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
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 | 233,95 € |
Ähnlichkeitssuche: Fact®Finder von OMIKRON
