This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th International Conference on Computational Collective Intelligence, ICCCI 2024, held in Leipzig, Germany, during September 9-11, 2024.
This volume constitutes the proceedings of the 16th JSAI International Symposia on Artificial Intelligence (JSAI-isAI), held in Hamamatsu, Japan, in May 2024.
This volume constitutes the proceedings of the 16th JSAI International Symposia on Artificial Intelligence (JSAI-isAI), held in Hamamatsu, Japan, in May 2024.
This book constitutes the proceedings of the Second International Libyan Conference on Information and Communication Technologies, ILCICT 2023, which took place in Tripoli, Libya, in September 4-6, 2023.
This book constitutes the proceedings of the Second International Libyan Conference on Information and Communication Technologies, ILCICT 2023, which took place in Tripoli, Libya, in September 4-6, 2023.
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 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 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 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 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 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 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 Sescond Southwest Data Science Conference, SDSC 2023, held in Waco, TX, USa, during March 24-25, 2023.
This book constitutes the refereed proceedings of the Sescond Southwest Data Science Conference, SDSC 2023, held in Waco, TX, USa, during March 24-25, 2023.
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 set LNCS 14664 and 14665 constitutes the refereed proceedings of the 21st International Conference on The Semantic Web, ESWC 2024, held in Hersonissos, Crete, Greece, during May 26-30, 2024.
This book constitutes the refereed proceedings of the 7th National Conference on New Trends in Information and Communications Technology Applications, NTICT 2023, held in Baghdad, Iraq, during December 20-21, 2023.
This book constitutes the refereed proceedings of the 7th National Conference on New Trends in Information and Communications Technology Applications, NTICT 2023, held in Baghdad, Iraq, during December 20-21, 2023.
This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28-31, 2024.
This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023.
This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023.
This book constitutes the proceedings of the 21st International Conference on Unconventional Computation and Natural Computation, UCNC 2024, held in Pohang, South Korea, during June 17-21, 2024.
This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28-31, 2024.
This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28-31, 2024.
This book constitutes the proceedings of the 21st International Conference on Unconventional Computation and Natural Computation, UCNC 2024, held in Pohang, South Korea, during June 17-21, 2024.
This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28-31, 2024.
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.
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 volume constitutes the refereed proceedings of Metaheuristics on 15th International Conference, MIC 2024, held in Lorient, France, during June 4-7, 2024.
This volume constitutes the refereed proceedings of Metaheuristics on 15th International Conference, MIC 2024, held in Lorient, France, during June 4-7, 2024.
This book constitutes the proceedings of the First International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2024, which took place in Cadiz, Spain, during September 9-13, 2024.
This volume presents peer-reviewed and selected papers from the 2024 European Conference on Integrated Optics (ECIO), held on 17-19 June, 2024, and organized by RWTH Aachen University, Germany, in collaboration with Max-Planck Institute of Microstructure Physics, Technical University of Berlin, Leibniz Institute for High Performance Microelectronics, and Karlsruhe Institute of Technology.
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 two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18-19, 2023.
The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023.
This book constitutes the proceedings of the 28th International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2023, which was held in Yunlin, Taiwan, during December 1-2, 2023.
The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023.
