Mathematical theory of computation books

Learning spaces offer a rigorous mathematical foundation for practical systems of educational technology. Learning...  Read More >>

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro,...  Read More >>

Constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of...  Read More >>

Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan,...  Read More >>

Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems,...  Read More >>

Das Buch ist eine praxisnahe Einführung in die Numerische Mathematik zu grundlegenden Aufgabengebieten wie lineare...  Read More >>

Triangulations presents the first comprehensive treatment of the theory of secondary polytopes and related topics....  Read More >>

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their...  Read More >>

As the cost to create and distribute recorded music has dropped, the amount of available music has grown dramatically....  Read More >>

A book that constitutes the refereed proceedings of the 11th International Conference on Parallel Problem Solving...  Read More >>

Constitutes the refereed proceedings of the 11th International Conference on Parallel Problem Solving from Nature...  Read More >>

A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for...  Read More >>

It provides a comprehensive account of recent progress in the theory of cellular automata based on the interplay...  Read More >>

A book that constitutes the proceedings of the 7th International Conference on Swarm Intelligence, that was held...  Read More >>

Constitutes the proceedings of the 6th International Conference on Sequences and Their Applications held in Paris,...  Read More >>

This book is a collection of some of the most popular posts from my blog— Godel ¨ Lost Letter andP=NP—which I started...  Read More >>

This volume describes a ten-year investigation into the underlying principles of component-based software development...  Read More >>

The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed...  Read More >>

 Read More >>

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis...  Read More >>

Constitutes the refereed proceedings of the Third International Congress on Mathematical Software, ICMS 2010, that...  Read More >>

Constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September...  Read More >>

These devices, by allowing the functionality and the structure of electronic devices to be easily altered, enabled...  Read More >>

The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide...  Read More >>

Similar to the workshop two years ago, the majority of the contributed papers belong to the area of computational...  Read More >>