This book constitutes the refereed proceedings of the 23rd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2024, held in Omsk, Russia, during June 30 - July 6, 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 short papers, Doctoral Consortium and Workshops papers which were held in conjunction with the 28th European Conference on New Trends in Databases and Information Systems, ADBIS 2024, which took place in Bayonne, France, during August 28-31, 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 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 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 book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 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.
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 book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8-12, 2024The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions.
This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8-12, 2024The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions.
This book constitutes the refereed proceedings of the 35th International Workshop on Combinatorial Algorithms, IWOCA 2024, held in Ischia, Italy, during July 1-3, 2024.
This book constitutes the refereed proceedings of the 35th International Workshop on Combinatorial Algorithms, IWOCA 2024, held in Ischia, Italy, during July 1-3, 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.
This book constitutes the refereed post proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, held in Rome, Italy, during July 10-12, 2023.
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of the Third International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2023, held in Varanasi, India, during December 20-22, 2023.
This book constitutes the refereed post proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, held in Rome, Italy, during July 10-12, 2023.
The five-volume set LNCS 14961, 14962, 14963, 14964 and 14965 constitutes the refereed proceedings of the 8th International Joint Conference on Web and Big Data, APWeb-WAIM 2024, held in Jinhua, China, during August 30-September 1, 2024.
This book constitutes the refereed proceedings of the 18th International Conference on Critical Information Infrastructures Security, CRITIS 2023, held in Helsinki region, Finland, during September 13-15 2023.
This book constitutes the refereed proceedings of the 18th International Conference on Critical Information Infrastructures Security, CRITIS 2023, held in Helsinki region, Finland, during September 13-15 2023.
The 4-volume set LNCS 14331, 14332, 14333, and 14334 constitutes the refereed proceedings of the 7th International Joint Conference, APWeb-WAIM 2023, which took place in Wuhan, China, in October 2023.
This book constitutes the refereed proceedings of the 16th International Baltic Conference on Digital Business and Intelligent Systems, Baltic DB&IS 2024, held in Vilnius, Lithuania, during June 30-July 3, 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 refereed proceedings of the 14th International Conference on Large-Scale Scientific Computations, LSSC 2023, held in Sozopol, Bulgaria, during June 5-9, 2023.
This book focuses on the sustainable security practices in the domain of blockchain, quantum, and post-quantum technologies dealing with the real-time applications.
Uncover the secrets of cutting-edge research in "e;Infrared Small Target Detection,"e; a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms.