Mathematical theory of computation books

EUD is understood as a set of methods, techniques, and tools that allow users of software systems who are acting...  Read More >>

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on...  Read More >>

 Read More >>

Following what is now a tradition, the 15th Annual Graph Drawing Contest was held during the conference, also including...  Read More >>

Tsutomu Sasao – Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially...  Read More >>

This monograph focuses on exploring game theoretic modeling and mechanism design for problem solving in Internet...  Read More >>

This major new edition features many topics not covered in the original, including graphical models, random forests,...  Read More >>

The papers feature original research in the areas of design and analysis of algorithms, computational geometry,...  Read More >>

 Read More >>

A very active field of research is emerging at the frontier of statistical physics, theoretical computer science/discrete...  Read More >>

Constitutes the refereed extended postproceedings of the 9th International Workshop on Membrane Computing, WMC 2008,...  Read More >>

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite...  Read More >>

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of...  Read More >>

Free jazz, as performed by such artists as John Coltrone and Archie Shepp, is a creative, collaborative art form....  Read More >>

Der Autor entwickelt unterhaltsam, gleichzeitig mit mathematischer Strenge, zahlreiche Facetten aus der Wissenschaftsgeschichte,...  Read More >>

 Read More >>

 Read More >>

 Read More >>

They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with...  Read More >>

Declarative languages have long promised the ability to rapidly create easily maintainable software for complex...  Read More >>

This book is the ninth volume of the Transactions on Rough Sets series. The 26 papers in it introduce new advances...  Read More >>

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from...  Read More >>

This Special Issue on Biological and Biologically-inspired Communication contains the best papers from the Second...  Read More >>

The 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008) took place in Van Mildert...  Read More >>