Please allow one business day for order processing.
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:
$57.49
Publication Date: April 5th, 2024
Publisher:
Springer
ISBN:
9783031572487
Pages:
386
Available in 3-7 business days
Other Books in Series
Preorder
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
Preorder
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
Preorder
Value Engineering in Artificial Intelligence: First International Workshop, Vale 2023, Krakow, Poland, September 30, 2023, Proceedings (Lecture Notes in Computer Science #1452)
Paperback
Preorder
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
Preorder
Engineering Interactive Computer Systems. Eics 2023 International Workshops: Swansea, Uk, June 27-30, 2023, Proceedings (Lecture Notes in Computer Science #1451)
Paperback
Preorder
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
Preorder
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
Preorder
Reduction, Approximation, Machine Learning, Surrogates, Emulators and Simulators: Ramses (Lecture Notes in Computational Science and Engineering #151)
Hardcover
Preorder
Pattern Recognition and Machine Intelligence: 9th International Conference, Premi 2021, Kolkata, India, December 15-18, 2021, Proceedings (Lecture Notes in Computer Science #1310)
Paperback
Preorder
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
Preorder
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
Preorder
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
Preorder
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
Preorder
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 #1469)
Paperback
Preorder
Hci in Games: 6th International Conference, Hci-Games 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washin (Lecture Notes in Computer Science #1473)
Paperback
Preorder
Hci in Games: 6th International Conference, Hci-Games 2024, Held as Part of the 26th Hci International Conference, Hcii 2024, Washin (Lecture Notes in Computer Science #1473)
Paperback
Preorder
Information Security Theory and Practice: 14th Ifip Wg 11.2 International Conference, Wistp 2024, Paris, France, February 29-March 1, 2024, Proceeding (Lecture Notes in Computer Science #1462)
Paperback
Preorder
Selected Areas in Cryptography: 29th International Conference, Sac 2022, Windsor, On, Canada, August 24-26, 2022, Revised Selected Papers (Lecture Notes in Computer Science #1374)
Paperback
Preorder
Integer Programming and Combinatorial Optimization: 25th International Conference, Ipco 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings (Lecture Notes in Computer Science #1467)
Paperback
