Mathematical theory of computation

This book presents interesting, important unsolved problems in the mathematical and computational sciences.

This book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work.

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments.

This volume contains the lecture notes of the 10th Reasoning Web Summer School 2014, held in Athens, Greece, in September 2014.

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems.

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014.

Part I of this book is a practical introduction to working with the Isabelle proof assistant.

This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014.

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.

This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014.

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.

This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014.

This book constitutes the refereed proceedings of the 15th Conference on Advances in Autonomous Robotics, TAROS 2014, held in Birmingham, UK, in September 2014.

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noumea, New Caledonia, in September 2014.

This book constitutes the refereed proceedings of the 4th International Workshop on Controlled Natural Language, CNL 2014, held in Galway, Ireland, in August 2014.

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014.

Gerhard Gentzen has been described as logic's lost genius, whom Godel called a better logician than himself.

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan.

This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in Vienna, Austria, in August 2014.

This book constitutes the thoroughly refereed proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery, DGCI 2014, held in Siena, Italy, September 2014.

This book constitutes the proceedings of the 9th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2014.

This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil.

This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathematical notions necessary to understand these concepts.

This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014.

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems.

How can a scalable and efficient quality management mechanism for cloud labor services be designed in a way that it delivers results with a well-defined level of quality to the requester?

This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2014, held in Sao Carlos, Brazil, in October 2014.

This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on "e;The completeness of formal systems"e; under the direction of Alonzo Church.

This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014.

This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014.

This book constitutes the refereed proceedings of the 21st International Colloquium on Structural Information and Communication Complexity, SIROCCO 2014, held in Takayama, Japan, in July 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014.

This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013 in Chicago, IL.

This book constitutes the proceedings of the Third International Conference on Biomimetic and Biohybrid Systems, Living Machines 2014, held in Milan, Italy, in July/August 2014.

This book - in conjunction with the volumes LNAI 8589 and LNBI 8590 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014.

This book - in conjunction with the volumes LNCS 8588 and LNAI 8589 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014.

This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

This book constitutes the refereed proceedings of the 7th International Conference on Artificial General Intelligence, AGI 2014, held in Quebec City, QC, Canada, in August 2014.

This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Computers and Games, CG 2013, held in Yokohama, Japan, in August 2013, in conjunction with the 17th Computer and Games Tournament and the 20th World Computer-Chess Championship.

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013.

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellon, Spain, in July 2014.

These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, held in Montpellier, France, July 15-19, 2014.

These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, held in Montpellier, France, July 15-19, 2014.

This book constitutes the refereed proceedings of the 19thInternational Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014.

These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, held in Montpellier, France, July 15-19, 2014.