Laura Kovács - Böcker
489 kr
Skickas inom 5-8 vardagar
Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
699 kr
Skickas inom 10-15 vardagar
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
579 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
579 kr
Skickas inom 7-10 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
579 kr
Skickas inom 7-10 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
579 kr
Skickas inom 7-10 vardagar
Intelligent Computer Mathematics
17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
929 kr
Skickas inom 11-20 vardagar
Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
929 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
1 979 kr
Skickas inom 10-15 vardagar