This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27-28, 2024.
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.
This book constitutes the refereed proceedings of the 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024, held in Kyoto, Japan, during November 18-24, 2024.
This book constitutes the refereed proceedings of the 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024, held in Kyoto, Japan, during November 18-24, 2024.
This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024.
This book constitutes the proceedings of the First International Conference on Digital Product Management, ICDPM 2024, which took place in Gothenburg, Sweden, on June 12, 2024.
This book constitutes the proceedings of the First International Conference on Digital Product Management, ICDPM 2024, which took place in Gothenburg, Sweden, on June 12, 2024.
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 4-6, 2024.
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 4-6, 2024.
This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024.
This book constitutes the refereed proceedings of the 25th International Conference on Engineering Applications of Neural Networks, EANN 2024, held in Corfu, Greece, during June 27-30, 2024.
The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.
The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.
This book constitutes the refereed proceedings of the 25th International Conference on Engineering Applications of Neural Networks, EANN 2024, held in Corfu, Greece, during June 27-30, 2024.
This book constitutes the refereed proceedings of the 14h International Symposium on Business Modeling and Software Design, BMSD 2024, which took place in Luxembourg, during July 1-3, 2024.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 - July 4, 2024.
This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 - July 4, 2024.
This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimaraes, Portugal, during May 2024.
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.
This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.
This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.
This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.
This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.
This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Science, CRI 2023, held in Yaounde, Cameroon, during December 12-13, 2023.
This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Science, CRI 2023, held in Yaounde, Cameroon, during December 12-13, 2023.
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024.
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024.
The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.
The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.
This book is based on a symposium to celebrate Eric Yu, the inventor of the i* framework, held on the occasion of his retirement and collocated with the 31st IEEE International Requirements Engineering Conference.
This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.
This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software.
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software.
This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.
