This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020 held in Taiyuan, China, in September 2020.
This book constitutes the thoroughly refereed post conference papers of the Second International Conference on Blockchain and Trustworthy Systems, Blocksys 2020, held in Dali, China*, in August 2020.
This book constitutes the referred proceedings of two workshops held at the 32nd ACM International Conference on Supercomputing, ACM ICS 2018, in Beijing, China, in June 2018.
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Computer Science and Education in Computer Science, CSECS 2022, held in June 2022 in Sofia, Bulgaria.
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.
Convergence in crossover service explores the crossover phenomenon, crossover services and the convergence issues that arise in typical crossover scenarios.
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 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 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 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 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.
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 constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.
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.
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.
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.
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 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.
This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023.
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 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 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 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.
This book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23-26, 2023.
This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023.
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.
The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.
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 three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
