Böcker i Theoretical Computer Science and General Issues-serien

This book constitutes the refereed proceedings of the 5th International Conference on Computational Logistics, ICCL 2014, held in Valparaiso, Chile, in September 2014. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: optimization of transport problems; container terminal applications; simulation and environmental sustainability applications.

The two-volume set of LNCS 10941 and 10942 constitutes the proceedings of the 9th International Conference on Advances in Swarm Intelligence, ICSI 2018, held in Shanghai, China, in June 2018. The total of 113 papers presented in these volumes was carefully reviewed and selected from 197 submissions. The papers were organized in topical sections namely: multi-agent systems; swarm robotics; fuzzy logic approaches; planning and routing problems; recommendation in social media; predication; classification; finding patterns; image enhancement; deep learning; theories and models of swarm intelligence; ant colony optimization; particle swarm optimization; artificial bee colony algorithms; genetic algorithms; differential evolution; fireworks algorithm; bacterial foraging optimization; artificial immune system; hydrologic cycle optimization; other swarm-based optimization algorithms; hybrid optimization algorithms; multi-objective optimization; large-scale global optimization.

This book constitutes the proceedings of the 18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021, which was held in Paris, France during November 3-5, 2021.The 20 papers presented in this volume were carefully reviewed and selected from 62 submissions. and networks and communications.

This book constitutes the proceedings of the 15th International Conference on Algorithmic Aspects in Information and Management, AAIM 2021, which was held online during December 20-22, 2021. The conference was originally planned to take place in Dallas, Texas, USA, but changed to a virtual event due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. domain theory logics; logical foundations of database theory;

This book constitutes the refereed proceedings of the 15th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2021, which took place in Tianjin, China, during December 17-19, 2021.The 55 papers presented in this volume were carefully reviewed and selected from 122 submissions.

This book constitutes the thoroughly refereed workshop post-proceedings of the 19th International Workshop on Approximation and Online Algorithms, WAOA 2021, held in September 2021.

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2021, held in Lisbon, Portugal, in September 2021.

LION deals with designing and engineering ways of "learning" about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future.

The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. Part II: Theory and algorithms;

The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. Part II: Theory and algorithms;

This book constitutes the refereed proceedings of the 10th International Conference on Computational Data and Social Networks, CSoNet 2021, which was held online during November 15-17, 2021. special track on fact-checking, fake news and malware detection in online social networks; and special track on information spread in social and data networks.

The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. Part II: Theory and algorithms;

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions.

His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021.The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions.

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms.

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions.

This book constitutes the refereed proceedings of the 27th China Conference on Information Retrieval, CCIR 2021, held in Dalian, China, in October 2021.The 15 full papers presented were carefully reviewed and selected from 124 submissions.

This book constitutes the proceedings of the 19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021, held in Espoo, Finland, in October 2021. The 12 full papers presented were carefully reviewed and selected from 19 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Computer Vision Systems, ICVS 2021, held in September 2021.

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.*The 14 full papers and 4 short papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 30 submissions.

The ten-volume set LNCS 12949 - 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 - 16, 2021.

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. They deal with parallel and distributed computing in general, focusing on compilers, tools and environments; theory and algorithms for parallel and distributed processing;

This two-volume set LNCS 12861 and LNCS 12862 constitutes the refereed proceedings of the 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, held virtually, in June 2021.The 85 full papers presented in this two-volume set were carefully reviewed and selected from 134 submissions.

The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece.

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. They present original research on the theory, design and application of algorithms and data structures.