Mathematical Theory of Computation

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held...

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathemat...

The two-volume set (LNCS 6728 and 6729) constitutes the refereed proceedings of the International Conference on Swarm Intelligence, ICSI 2011, held...

This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, W...

Model transformations are the glue that tie modelling activities together. If youve used modelling in anger then, whether you know it or not, youve...

This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurren...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. I...

Why are the many highly capable autonomous robots that have been promised for novel applications driven by society, industry, and research not avai...

The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established traditio...

ThetopicofModel-BasedEngineeringofReal-TimeEmbeddedSystemsbrings together a challenging problem domain (real-time embedded systems) and a - lution ...

th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of ...

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the...

This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held i...

Gheorghe Pun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal lan...

The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the Un...

This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordea...

This book is dedicated to Hermann Maurer on the occasion of his 70th birthday. The title word Rainbow reflects the beauty and variety of the achiev...

This book constitutes the refereed proceedings of the 6th International Workshop on Internet and Network Economics, WINE 2010, held in Stanford, US...

These are the proceedings of the 10th International Workshop on Compu- tional Logic in Multi-Agent Systems (CLIMA-X), held September 9-10, 2009 in ...

Property Testing is the study of super-fast (randomized) algorithms for approximate decision making. These algorithms are given direct access to it...

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be ...

Wearedelightedtopresenttheproceedingsofthe5thInternationalWorkshopon Modeling Autonomic Communication Environments (MACE 2010). This wo- shopwashel...

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held i...