Computer programming / software engineering

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.

This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP.

This book constitutes selected and revised papers presented at the Second International Conference on Communication, Networks and Computing, CNC 2020, held in Gwalior, India, in December 2020.

This book constitutes selected papers of the 19th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2021, held in Los Angeles, CA, USA, in July 2021.

The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th Asian Conference on Computer Vision, ACCV 2022, held in Macao, China, December 2022.

The book focuses on the real-world case-based crisis management in digital product development.

This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.

This book constitutes the refereed proceedings of the 21st International Symposium on Knowledge and Systems Sciences, KSS 2022, held in Beijing, China, in June 2022.

The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022.

This book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.

This book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022.

This book addresses and disseminates state-of-the-art research and development of differential evolution (DE) and its recent advances, such as the development of adaptive, self-adaptive and hybrid techniques.

This book includes best-selected, high-quality research papers presented at Second International Conference on Biologically Inspired Techniques in Many Criteria Decision Making (BITMDM 2021) organized by Department of Information & Communication Technology, Fakir Mohan University, Balasore, Odisha, India, during December 20-21, 2021.

This book introduces research presented at the International Conference on Distributed Computing and Optimization Techniques (ICDCOT-2021), a two-day conference, where researchers, engineers, and academicians from all over the world came together to share their experiences and findings on all aspects of distributed computing and its applications in diverse areas.

This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory of an aircraft in conditions of its limited resource.

This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022.

The three-volume set LNCS 13747, LNCS 13748 and LNCS 13749 constitutes the refereed proceedings of the 20th International Conference on Theory of Cryptography, TCC 2022, held in Chicago, IL, USA, in November 2022.

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.

This book provides a systematic overview of watermarking and steganography methods for triangle meshes related to computer graphics and security.

This two-volume set (CCIS 1762-1763) constitutes the refereed proceedings of the 4th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2022, held in Bhopal, India, in December 2022.

This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.

This Festschrift, dedicated to Frits W.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

The two-volume Proceedings set CCIS 1675 and 1676 constitutes the refereed proceedings of the Second International Conference, ARTIIS 2022, held in Santiago de Compostela, Spain, during September 12-15, 2022.

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

The three-volume set LNCS 13747, LNCS 13748 and LNCS 13749 constitutes the refereed proceedings of the 20th International Conference on Theory of Cryptography, TCC 2022, held in Chicago, IL, USA, in November 2022.

The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th Asian Conference on Computer Vision, ACCV 2022, held in Macao, China, December 2022.

This book constitutes the proceedings of the 18th International Symposium on Applied Reconfigurable Computing, ARC 2022, held as a virtual event, in September 2022.

This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogota, Colombia, in November/December 2022.

This book contains extended and revised versions of the best papers presented at the 29th IFIP WG 10.

3D point clouds have broad applications across various industries and have contributed to advancements in fields such as autonomous driving, immersive media, metaverse, and cultural heritage protection.

This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.

To be able to merge the psyche with the neural system has been a long-sought goal.

Build and upgrade an automated software delivery pipeline that supports containerization, integration testing, semantic versioning, automated deployment, and more.

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects.

Content distribution, i.

This book constitutes the refereed proceedings of the 34th International Workshop on Combinatorial Algorithms, IWOCA 2023, held in Tainan, Taiwan, during June 7-10, 2023.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.

This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.

This book constitutes the refereed proceedings of four International Workshops, held as parallel events of the 19th IFIP WG 12.

The four-volume set CCIS 1791, 1792, 1793 and 1794 constitutes the refereed proceedings of the 29th International Conference on Neural Information Processing, ICONIP 2022, held as a virtual event, November 22-26, 2022.

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.

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 introduces readers to the fundamentals of the cross-technology coexistence problem in heterogeneous wireless networks.

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers.

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:* the 24th International Conference on Business Process Modeling, Development and Support, BPMDS 2023, and * the 28th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2023.

This book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umea, Sweden, during June 12-16, 2023.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023.