Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
Editat de Andrea Kohlhase et al.
13 sep 2024
Paperback
Preț: 395.96 lei 494.95 lei
38-44 zile
-20%
Laura Kovács
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
Editat de Bernd Finkbeiner et al.
5 apr 2024
Paperback
Preț: 303.33 lei 379.17 lei
6-8 săpt.
-20%
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Editat de Jasmin Blanchette et al.
17 iul 2022
Paperback
Preț: 320.94 lei 401.17 lei
6-8 săpt.
-20%
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 371.48 lei
6-8 săpt.