Mathematical theory of computation

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.

This book constitutes the proceedings of the 5th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2016, held in Edinburgh, UK, in July 2016.

This book provides comprehensive, graduate-level treatment of analog and digital signal analysis suitable for course use and self-guided learning.

This is the first comprehensive treatment of subjective logic and all its operations.

This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016.

The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.

The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.

This two-volume set LNCS 9771 and LNCS 9772 constitutes - in conjunction with the volume LNAI 9773 - the refereed proceedings of the 12th International Conference on Intelligent Computing, ICIC 2016, held in Lanzhou, China, in August 2016.

This two-volume set LNCS 9771 and LNCS 9772 constitutes - in conjunction with the volume LNAI 9773 - the refereed proceedings of the 12th International Conference on Intelligent Computing, ICIC 2016, held in Lanzhou, China, in August 2016.

In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM).

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

This book focuses on recent research in modern optimization and its implications in control and data analysis.

This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during 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.

This monograph considers a basic problem in the computer analysis of natural images, which are images of scenes involving multiple objects that are obtained by a camera lens or a viewer's eye.

This new and expanded monograph improves upon Mohan's earlier book, Residue Number Systems (Springer, 2002) with a state of the art treatment of the subject.

This book presents the algorithms used to provide recommendations by exploiting matrix factorization and tensor decomposition techniques.

This work presents applications of numerical semigroups in Algebraic Geometry, Number Theory, and Coding Theory.

This book constitutes the refereed proceedings of the 31st International Conference, ISC High Performance 2016 [formerly known as the International Supercomputing Conference] held in Frankfurt, Germany, in June 2016.

This book constitutes the refereed proceedings of the 15th International Conference on Unconventional Computation and Natural Computation, UCNC 2016, held in Manchester, UK, in July 2016.

This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in Bergamo, Italy, in July 2016.

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

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 Artificial General Intelligence, AGI 2016, held in New York City, NY, USA, in July 2016 as part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.

This book constitutes the refereed proceedings of the 12th International Conference on Computational Processing of the Portuguese Language, PROPOR 2016, held in Tomar, Portugal, 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.

 This two-volume set LNCS 9712 and LNCS 9713 constitutes the refereed proceedings of the 7th International Conference on Swarm Intelligence, ICSI 2016, held in Bali, Indonesia, in June 2016.

This book constitutes the proceedings of the 22th International Conference on Conceptual Structures, ICCS 2016, held in Annecy, France, in July 2016.

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.

This book constitutes the refereed proceedings of the 13th International Symposium on Neural Networks, ISNN 2016, held in St.

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.

This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, held in Eindhoven, The Netherlands, in June 2016.

This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, held in Eindhoven, The Netherlands, in June 2016.

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015.

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics and Management, MS 2016, held in Teruel, Spain, in July 2016.

This two-volume set LNCS 9712 and LNCS 9713 constitutes the refereed proceedings of the 7th International Conference on Swarm Intelligence, ICSI 2016, held in Bali, Indonesia, in June 2016.

This book constitutes the refereed proceedings of the 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, held in Salford, UK, in June 2016.

This book presents a collection of contributions from related logics to applied paraconsistency.

This book constitutes the refereed proceedings of the 17th Annual Conference on Towards Autonomous Robotics, TAROS 2016, held in Sheffield UK, in June/July 2016.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in Science and Engineering, HPCSE 2015, held in Solan, Czech Republic, in May 2015.

This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical rigor.

This book offers a comprehensive report on the state-of-the art in the broadly-intended field of "e;intelligent systems"e;.

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016.

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.