This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.
This book constitutes the revised selected papers of the 4th International Scientific and Practical Conference on Information Technologies and Intelligent Decision-Making Systems, ITIDMS 2024, held in Moscow, Russia, during December 11–13, 2024.
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978.
This volume constitutes the proceedings of 31st International Conference on Cooperative Information Systems, CoopIS 2025, held in Marbella, Spain, during October 20–22, 2025.
This volume constitutes the proceedings of 31st International Conference on Cooperative Information Systems, CoopIS 2025, held in Marbella, Spain, during October 20–22, 2025.
This book constitutes revised selected papers from the 14th International Conference on Cloud Computing and Services Science, CLOSER 2024, held in Angers, France, during May 2–4, 2024.
This book constitutes revised selected papers from the 14th International Conference on Cloud Computing and Services Science, CLOSER 2024, held in Angers, France, during May 2–4, 2024.
This book constitutes the refereed proceedings of the 14th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, held in Telavi, Georgia, during September 18-22, 2023.
This book constitutes the refereed proceedings of the 5th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2025, held in New Delhi, India, during April 25-27, 2025.
This book constitutes the refereed proceedings of the 5th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2025, held in New Delhi, India, during April 25-27, 2025.
This book constitutes the refereed proceedings of the 14th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, held in Telavi, Georgia, during September 18-22, 2023.
This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.
This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.
This book constitutes the refereed proceedings of the 6th International Conference on Computing Science, Communication and Security, COMS2 2025, held at Ganpat University, Mehsana, Gujarat, India, during September 12–13, 2025.
This book constitutes the refereed proceedings of the 6th International Conference on Computing Science, Communication and Security, COMS2 2025, held at Ganpat University, Mehsana, Gujarat, India, during September 12–13, 2025.
This book constitutes the revised selected papers of the 4th International Scientific and Practical Conference on Information Technologies and Intelligent Decision-Making Systems, ITIDMS 2024, held in Moscow, Russia, during December 11–13, 2024.
This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.
This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.
This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.
This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.
This book covers proceedings of the 15th International conference for information society and technologies that brings together experts from various fields to discuss the latest advancements in using AI and IoT to shape a future industry, digitalization of health, well-being and sport, energy and environment, generative AI, and large language models, machine learning, and software engineering.
This book explores how Artificial Intelligence (AI) and Software-Defined Networking (SDN) can transform the way modern networks are designed, secured, and operated.
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978.
This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International Workshops on Advances in Computational Intelligence, MICAI 2025, held in Guanajuato, Mexico, during November 3–7, 2025.
This book explores how Artificial Intelligence (AI) and Software-Defined Networking (SDN) can transform the way modern networks are designed, secured, and operated.
This book covers proceedings of the 15th International conference for information society and technologies that brings together experts from various fields to discuss the latest advancements in using AI and IoT to shape a future industry, digitalization of health, well-being and sport, energy and environment, generative AI, and large language models, machine learning, and software engineering.
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?
This book constitutes the refereed proceedings of the 4th International Conference on Transdisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage Addressing World Challenges, TMM-CH 2025, held in Athens, Greece during April 7-9, 2025.
This book constitutes the refereed proceedings of the 4th International Conference on Transdisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage Addressing World Challenges, TMM-CH 2025, held in Athens, Greece during April 7-9, 2025.
This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International Workshops on Advances in Computational Intelligence, MICAI 2025, held in Guanajuato, Mexico, during November 3–7, 2025.
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.
