Mathematical theory of computation

This book constitutes the proceedings of the 37th IFIP WG 6.

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017.

This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017.

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015.

This book introduces the linkage between evolutionary computation and complex networks and the advantages of cross-fertilising ideas from both fields.

This book constitutes the proceedings of the First International Conference on Language, Data and Knowledge, LDK 2017, held in Galway, Ireland, in June 2017.

This book provides a self-contained introduction to algebraic coding theory over finite Frobenius rings.

The third edition of this handbook is designed to provide a broad coverage of the concepts, implementations, and applications in metaheuristics.

This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017.

The two volumes LNCS 10337 and 10338 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, held in Corunna, Spain, in June 2017.

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Computer Networks, CN 2017, held in Brunow, Poland, in June 2017.

This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.

The two volumes LNCS 10337 and 10338 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, held in Corunna, Spain, in June 2017.

This book examines how fuzzy methods can be employed to manage service levels in business and IT alignment.

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017.

This book constitutes the proceedings of the 11th International Workshop on Frontiers in Algorithmics, FAW 2017, held in Chengdu, China, in June 2017.

This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, held in Liege, Belgium, in June 2017.

This book constitutes the proceedings of the second International Conference on Smart Cities, Smart-CT 2017, held in Malaga, Spain, in June 2017.

This monograph provides an introduction to finite quantum systems, a field at the interface between quantum information and number theory, with applications in quantum computation and condensed matter physics.

This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016.

This book constitutes the refereed proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2017, held in Waterloo, IN, Canada, in June 2017.

In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.

This book is an introduction to relevant aspects of the foraging literature for algorithmic design, and an overview of key families of optimization algorithms that stem from a foraging metaphor.

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017.

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017.

This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany.

This book constitutes the proceedings of the 18th International Workshop on Combinatorial Image Analysis, IWCIA 2017, held in Plovdiv, Bulgaria, in June 2017.

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017.

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017.

This book constitutes the proceedings of the 25th International Conference on Information Processing in Medical Imaging, IPMI 2017, held at the Appalachian State University, Boon, NC, USA, in June 2017.

This book provides an account of the use of computational tactical metrics in improving sports analysis, in particular the use of Global Positioning System (GPS) data in soccer.

This book constitutes the refereed proceedings of the 11th IAPR-TC-15 International Workshop on Graph-Based Representation in Pattern Recognition, GbRPR 2017, held in Anacapri, Italy, in May 2017.

?

This book constitutes the refereed proceedings of the 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, held in Kolding, Denmark, in June 2017.

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017.

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017.

This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed.

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016.

This book constitutes the refereed proceedings of the 32nd International Conference, ISC High Performance 2017, held in Frankfurt, Germany, in June 2017.

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.

This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2017, held in Vancouver, Canada, in July 2017.

This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2017, held in Vancouver, Canada, in July 2017.

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web Conference, ESWC 2017, held in Portoroz, Slovenia.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges.

This book highlights state-of-the-art developments in metaheuristics research.

This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.

This book constitutes the proceedings of the 4th InternationalConference on Algorithms for Computational Biology, AlCoB 2017, held in Aveiro, Portugal, in June 2017.

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web Conference, ESWC 2017, held in Portoroz, Slovenia.

This book constitutes the refereed proceedings of the 5th Computer Games Workshop, CGW 2016, and the 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, in New York, USA, in July 2016.