Books in the Lecture Notes in Computer Science series

This four-volume set of LNCS 12821, LNCS 12822, LNCS 12823 and LNCS 12824, constitutes the refereed proceedings of the 16th International Conference on Document Analysis and Recognition, ICDAR 2021, held in Lausanne, Switzerland in September 2021.

This book constitutes the proceedings of the 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, held in September 2021. Due to COVID-10 pandemic the conference was held virtually.The 10 full papers, 3 short papers and 13 other papers presented were carefully reviewed and selected from 53 submissions.

The three-volume set constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021, in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions.

The three-volume set constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021.

This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021.

This book constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, Japan in September 2021. The 14 regular papers and 3 short paper presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: Lattice-Based Cryptography;

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 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 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 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.