Mathematical theory of computation books

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program...  Read More >>

This book presents general methods for analysing the complexity of optimisation problems cast as valued constraint...  Read More >>

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy,...  Read More >>

This volume contains refereed papers and extended abstracts of papers presented at the NATO Advanced Research Workshop...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Modeling Decisions for Artificial...  Read More >>

This book constitutes the refereed proceedings of the 18th International Conference on the Theory and Application...  Read More >>

These essays are collected together here not only to acknowledge Bledsoe's manifold and substantial scientific contributions...  Read More >>

 Read More >>

Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing is the proceedings of the third...  Read More >>

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent...  Read More >>

This book presents a fundamental mathematical and logical approach to soft­ ware and systems engineering.  Read More >>

Presents a systematic application of elementary geometric and topological techniques for solving problems that arise...  Read More >>

Among other topics, The Informational Complexity of Learning: Perspectives on Neural Networks and Generative Grammar...  Read More >>

This volume contains the proceedings of the NATO Advanced Research Workshop on ""Asymptotic-induced Numerical Methods...  Read More >>

th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. This recorded conversation...  Read More >>

This book includes the revised papers presented at the NATO ARW ""Information Technology and Mathematical Problem...  Read More >>

Most of the papers in this volume were presented at the NATO Advanced Research Workshop High Performance Computing:...  Read More >>

A spline is a thin flexible strip composed of a material such as bamboo or steel that can be bent to pass through...  Read More >>

A compilation of contributions on applied mechanics, which deals with both solid and fluid mechanics. The contributions...  Read More >>

This book presents the most recent research advances in the theory, design, control and application of robotic systems,...  Read More >>

Focuses on three areas of practice and research progress in information technologies: Methods of Artificial Intelligence;...  Read More >>

One service methematics has rendered 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point alle.'...  Read More >>

These two volumes contain the proceedings of the Workshop on Transition, Turbulence and Combustion, sponsored by...  Read More >>

In the parametric case, we describe the asymptotical properties of maximum likelihood (MLE), Bayes (BE) and minimum...  Read More >>

spreadsheets, extended the average person's ability to solve Computer Aided Design - CAD), and even common problems...  Read More >>