Close this alert
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe (Lecture Notes in Computer Science #1457)
Current price:
$49.99
Publication Date: April 5th, 2024
Publisher:
Springer
ISBN:
9783031572487
Pages:
386
Usually Ships in 1 to 5 Days
Other Books in Series
New Release
Wisdom, Well-Being, Win-Win: 19th International Conference, Iconference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III (Lecture Notes in Computer Science #1459)
Paperback
Fast, Low-Resource, and Accurate Organ and Pan-Cancer Segmentation in Abdomen CT: Miccai Challenge, Flare 2023, Held in Conjunction with Miccai 2023, (Lecture Notes in Computer Science #1454)
Paperback
Value Engineering in Artificial Intelligence: First International Workshop, Vale 2023, Krakow, Poland, September 30, 2023, Proceedings (Lecture Notes in Computer Science #1452)
Paperback
Artificial Intelligence with and for Learning Sciences: First International Workshop, Wails 2024, Salerno, Italy, January 18-19, 2024, Proceedings (Lecture Notes in Computer Science #1454)
Paperback
New Release
Applications of Evolutionary Computation: 27th European Conference, Evoapplications 2024, Held as Part of Evostar 2024, Aberystwyth, Uk, April 3-5, 20 (Lecture Notes in Computer Science #1463)
Paperback
Engineering Interactive Computer Systems. Eics 2023 International Workshops: Swansea, Uk, June 27-30, 2023, Proceedings (Lecture Notes in Computer Science #1451)
Paperback
Research in Computational Molecular Biology: 28th Annual International Conference, Recomb 2024, Cambridge, Ma, Usa, April 29-May 2, 2024, Proceedings (Lecture Notes in Computer Science #1461)
Paperback
Web and Big Data: 7th International Joint Conference, Apweb-Waim 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part I (Lecture Notes in Computer Science #1433)
Paperback
Reduction, Approximation, Machine Learning, Surrogates, Emulators and Simulators: Ramses (Lecture Notes in Computational Science and Engineering #151)
Hardcover
Pattern Recognition and Machine Intelligence: 9th International Conference, Premi 2021, Kolkata, India, December 15-18, 2021, Proceedings (Lecture Notes in Computer Science #1310)
Paperback
Evolutionary Computation in Combinatorial Optimization: 24th European Conference, Evocop 2024, Held as Part of Evostar 2024, Aberystwyth, Uk, April 3- (Lecture Notes in Computer Science #1463)
Paperback
Advances in Cryptology - Eurocrypt 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Swit (Lecture Notes in Computer Science #1465)
Paperback
Advances in Cryptology - Eurocrypt 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Swit (Lecture Notes in Computer Science #1465)
Paperback
Topics in Cryptology - Ct-Rsa 2024: Cryptographers' Track at the Rsa Conference 2024, San Francisco, Ca, Usa, May 6-9, 2024, Proceedings (Lecture Notes in Computer Science #1464)
Paperback
Machine Learning for Networking: 6th International Conference, Mln 2023, Paris, France, November 28-30, 2023, Revised Selected Papers (Lecture Notes in Computer Science #1452)
Paperback
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, Cpaior 2024, Uppsala, Sweden, (Lecture Notes in Computer Science #1474)
Paperback
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, Cpaior 2024, Uppsala, Sweden, (Lecture Notes in Computer Science #1474)
Paperback
Structural Information and Communication Complexity: 31st International Colloquium, Sirocco 2024, Vietri Sul Mare, Italy, May 27-29, 2024, Proceedings (Lecture Notes in Computer Science #1466)
Paperback
Cross-Cultural Design: 16th International Conference, CCD 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washington, (Lecture Notes in Computer Science #1470)
Paperback
Cross-Cultural Design: 16th International Conference, CCD 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washington, (Lecture Notes in Computer Science #1470)
Paperback