Books in the Lecture Notes in Computer Science series

This volume constitutes the proceedings of the 19th International Conference on Business Process Management, BPM 2021, held in Rome, Italy, in September 2021. The 23 full papers, one keynote paper, and 4 tutorial papers presented in this volume were carefully reviewed and selected from 92 submissions.

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan.

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions.

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The papers cover theoretical computer algebra and its applications in scientific computing.

This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social Computing, CollabTech 2021, held August/September 2021.

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.

This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 26th International Conference on Applications of Natural Language to Information Systems, NLDB 2021, held online in July 2021. The 19 full papers and 14 short papers were carefully reviewed and selected from 82 submissions.

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions.

This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wroclaw, Poland, in June 2021.

This book constitutes the proceedings of the 17th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2020, held in Zhengzhou, China, in September 2020. The 34 full and 7 short papers presented in this volume were carefully reviewed and selected from 95 submissions. edge computing;

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions.

This book constitutes the proceedings of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held online during June 28-July 2, 2021. The papers included in these proceedings focus on intelligent information systems and deal with novel approaches to IS engineering;

This two-volume set of LNCS 12736-12737 constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Security, ICAIS 2021, which was held in Dublin, Ireland, in July 2021.

This book constitutes the refereed proceedings of the 11th International Conference on Functional Imaging and Modeling of the Heart, which took place online during June 21-24, 2021, organized by the University of Stanford. cardiac microstructure: measures and models; cardiac mechanics: measures and models;

This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions.

This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021.

This book constitutes the refereed proceedings of the 5th International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2021, held in Be'er Sheva, Israel, in July 2021.The 22 full and 13 short papers presented together with a keynote paper in this volume were carefully reviewed and selected from 48 submissions.

This book constitutes the proceedings of the 20th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. The 29 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 102 submissions.

This two-volume set LNCS 12789 and 12790 constitutes the refereed proceedings of the Third International Conference on HCI in Games, HCI-Games 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021.

The papers were submitted to three tracks: the research track, the resource track and the in-use track.

This two-volume set LNCS 12789 and 12790 constitutes the refereed proceedings of the Third International Conference on HCI in Games, HCI-Games 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021.