Bücher der Reihe Theoretical Computer Science and General Issues

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions.

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China.

This book constitutes the refereed proceedings of the 10th International Conference on Blended Learning, ICBL 2017, held in Hong Kong, China, in June 2017. The 42 papers presented were carefully reviewed and selected from 100 submissions. Experiences in Blended Learning; Strategies in Blended Learning; Assessment for Blended Learning;

This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013.

This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.

This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014. The 17 revised full papers presented were carefully reviewed and selected from 36 submissions.

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;

This book constitutes revised selected papers from 7 workshops that were held in conjunction with the ISC High Performance 2016 conference in Frankfurt, Germany, in June 2016. and International Workshop on Performance Portable Programming Models for Accelerators, P3MA.

This book constitutes the proceedings of the 9th International Workshop on Frontiers in Algorithmics, FAW 2015, held in Guilin, China, in July 2015. They deal with graph algorithms, approximation algorithms, combinatorial optimization, parameterized algorithms, and online algorithms.

This book and its companion volumes, LNCS volumes 9140, 9141 and 9142, constitute the proceedings of the 6th International Conference on Swarm Intelligence, ICSI 2015 held in conjunction with the Second BRICS Congress on Computational Intelligence, CCI 2015, held in Beijing, China in June 2015.

This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization;

This book constitutes the proceedings of the 12th International Conference on Spatial Information Theory, COSIT 2015, held in Santa Fee, NM, USA, in October 2015. The 22 papers presented in this book were carefully reviewed and selected from 52 full paper submissions.

The book is a reflection of his main research activities in the fields of algorithms, probability, networks, and games, and contains a biographical sketch as well as essays and research contributions from close collaborators and former PhD students.

A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences.

This book constitutes the refereed proceedings of the 9th International Conference on Combinatorial Optimization and Applications, COCOA 2015, held in Houston, TX, USA, in December 2015. Topics covered include classic combinatorial optimization; geometric optimization; applied optimization; and optimization in graphs.

This book constitutes the refereed proceedings of the 4thInternational Conference on Theory and Practice of Natural Computing, TPNC2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented togetherwith 20 invited talks in this book were carefully reviewed and selected from 30submissions.

This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.

This book constitutes the thoroughly refereedpost-workshop proceedings for the 26 International Workshop on combinatorialAlgorithms, IWOCA 2015, held in Verona, Italy, in October 2015. The 29 revised full papers presented were carefullyreviewed and selected from a total of 90 submissions.

This book constitutesthe refereed proceedings of the 12th International Symposium on AppliedReconfigurable Computing, ARC 2016, held in Rio de Janeiro, Brazil, in March2016. and multicore systems. In addition, the bookcontains 3 invited papers and 8 poster papers on funded RD running and completed projects.

This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

This book constitutes the thoroughly refereed proceedings of the Third International Conference on High Performance Computing and Applications, HPCA 2015, held in Shanghai, China, in July 2015. The 24 revised full papers presented were carefully reviewed and selected from 50 submissions. novel approached to high performance computing;

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016.

This book constitutes the refereed proceedings of the 9th International Conference on Blended Learning, ICBL 2016, held in Beijing, China, in July 2016.

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions.

This book constitutes the proceedings of the 9th International Conference on Discrete Optimization and Operations Research, DOOR 2016, held in Vladivostok, Russia, in September 2016. The 39 full papers presented in this volume were carefully reviewed and selected from 181 submissions.

This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. They deal with cutting-edge research in all major disciplines of Computer Algebra.

The four volume set LNCS 9947, LNCS 9948, LNCS 9949, and LNCS 9950 constitutes the proceedings of the 23rd International Conference on Neural Information Processing, ICONIP 2016, held in Kyoto, Japan, in October 2016. big data analysis; neural data analysis; data mining and cybersecurity workshop; data mining;