Mathematical theory of computation

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.

This work addresses this problem in the short-time Fourier transform (STFT) domain.

This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011.

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011.

Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed considerable advances in p- tern recognition.

This book constitutes the refereed conference proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013.

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful.

Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering.

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

This book constitutes the refereed proceedings of the 22nd International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2025, held in Valencia, Spain, during September 15-18, 2025.

This book constitutes the refereed proceedings of the 22nd International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2025, held in Valencia, Spain, during September 15-18, 2025.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011.

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011.

This book constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011, held in Sao Carlos, Brazil, in May/ June 2011.

This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.

This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013, held in Mannheim, Germany, in July/August 2013.

This book constitutes the refereed proceedings of the 5th International Conference on Artificial General Intelligence, AGI 2012, held in Oxford, UK, in December 2012.

This book and its companion volume, LNCS vols.

This book constitutes the refereed proceedings of the Third IFIP WG 5.

The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14-17, 2010 in Tozeur, Tunisia.

These proceedings are a record of the Multiple Classi?

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.

Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

These proceedings are a record of the Multiple Classi?

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

The two-volume set (LNCS 6728 and 6729) constitutes the refereedproceedings of the International Conference on Swarm Intelligence, ICSI2011, held in Chongqing, China, in June 2011.

Identifying Emerging Trends in Technological Innovation Doctoral programs in science and engineering are important sources of innovative ideas and techniques that might lead to new products and technological innovation.

This Festschrift volume, published to honor Peter D.

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013.

This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.