Mathematical theory of computation books

Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal...  Read More >>

Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics...  Read More >>

Knowledge Base Management Systems (KBMSs) are being proposed that provide user-friendly environments for the construction,...  Read More >>

This volume constitutes the refereed proceedings of the 19th International Symposium on Graph Drawing, GD 2010,...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference...  Read More >>

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking,...  Read More >>

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

Research in optical information technology in Europe hasbeen very active inrecent years. The topics cover:(1) Active...  Read More >>

 Read More >>

 Read More >>

Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis...  Read More >>

Constitutes the refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical...  Read More >>

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools,...  Read More >>

Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness...  Read More >>

This book constitutes the thoroughly referred post-workshop proceedings of the 22nd International Workshop on Combinatorial...  Read More >>

Advanced Topics in Shannon Sampling and Interpolation Theory is the second volume of a textbook on signal analysis...  Read More >>

 Read More >>

Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are...  Read More >>

Computer Science Workbench is a monograph series which will provide you with an in­ depth working knowledge of current...  Read More >>

Autonomous combinatorial search (AS) represents a new field in combinatorial problem solving. Its major standpoint...  Read More >>

Software has long been perceived as complex, at least within Software Engineering circles. We hope that the contributions...  Read More >>

We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic...  Read More >>

This book provides foundations for software specification and formal software development from the perspective of...  Read More >>

Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most...  Read More >>

 Read More >>