Bøker i Theoretical Computer Science and General Issues-serien

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.

The three-volume set of LNCS 12532, 12533, and 12534 constitutes the proceedings of the 27th International Conference on Neural Information Processing, ICONIP 2020, held in Bangkok, Thailand, in November 2020.

This book constitutes the proceedings of the 13th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2020, held in Tallinn, Estonia, in November 2020.

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020, held in Taoyuan, Taiwan, in December 2020. The 12 full papers presented in this book, together with one invited talk, were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Optimization and Applications, OPTIMA 2020, held in Moscow, Russia, in September-October 2020.*The 21 full and 2 short papers presented were carefully reviewed and selected from 60 submissions.

This book constitutes the refereed proceedings of the 14th Latin American Symposium on Theoretical Informatics, LATIN 2020, held in Sao Paulo, Brazil, in January 2021. The 50 full papers presented in this book were carefully reviewed and selected from 136 submissions. The papers are grouped into these topics: approximation algorithms;

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as reachability for infinite state systems;

The proceedings set LNCS 12396 and 12397 constitute the proceedings of the 29th International Conference on Artificial Neural Networks, ICANN 2020, held in Bratislava, Slovakia, in September 2020.*The total of 139 full papers presented in these proceedings was carefully reviewed and selected from 249 submissions.

The proceedings set LNCS 12396 and 12397 constitute the proceedings of the 29th International Conference on Artificial Neural Networks, ICANN 2020, held in Bratislava, Slovakia, in September 2020.*The total of 139 full papers presented in these proceedings was carefully reviewed and selected from 249 submissions.

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020.

The three-volume set LNCS 12476 - 12478 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.

The three-volume set LNCS 12476 - 12478 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.

The three-volume set LNCS 12476 - 12478 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 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.*The 16 regular papers presented were carefully reviewed and selected from 35 submissions.

This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020.

This book constitutes the proceedings of the 12th International Conference on Swarm Intelligence, ANTS 2020, held online -due to COVID-19- in Barcelona Spain, in October 2020.

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020.

This book constitutes the refereed post-conference proceedings of 10 workshops held at the 35th International ISC High Performance 2020 Conference, in Frankfurt, Germany, in June 2020: First Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO);

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions.

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions.

This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions. Search, Facility and Graphs; and Graph Problems.

Petri-Net, Simulation, and Scheduling.- An Approach for Supervisor Reduction of Discrete-event Systems.- Multi-robot path planning using Petri nets.- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity.- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator.- Vehicle Scheduling Problem in Terminals: a Review.- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.- ON/OFF control trajectory computation for steady state reaching in batches Petri nets.- Towards efficient partial order techniques for time Petri nets.- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms.- Accurate Strategy for Mixed Criticality Scheduling.- Formal Modeling and Verification, Testing.- Model-based Design of Resilient Systems Using Quantitative Risk Assessment.- An Evaluation of Estimation Techniques for Probabilistic Verification.- Formal Verification of a Certified Policy Language.- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design.- Artificial Intelligence and Machine Learning.- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection.- Deep Reinforcement Learning for Solving AGVs Routing Problem.- Research on Vehicle Detection based on Visual Convolution Network Optimization.- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems.- Multi-Scale Risk Assessment Model of Network Security Based on LSTM.- Weighted lightweight image retrieval method based on linear regression.

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019. The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions.

This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLi 2019, held in Prague, Czech Republic in October 2020.

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.