Mathematical theory of computation books

This text looks at this field summarizing major results and identifying hard open problems.  Read More >>

This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer...  Read More >>

A class of methods, termed ""group explicit methods"" is introduced in this text. Their applications to solve parabolic,...  Read More >>

 Read More >>

Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population...  Read More >>

Presenting the proceedings of the conference on Sturm-Liouville problems held in conjunction with the 26th Barrett...  Read More >>

This text for advanced undergraduates reading electrical engineering, applied mathematics, and branches of computer...  Read More >>

 Read More >>

The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models...  Read More >>

 Read More >>

2 Abstract Saddle Point Problems . 3 Preconditioned Iterative Methods . 4 Regular Grid Models . 6 Examples . 2 Surfaces...  Read More >>

Based on the careful analysis of several hundred publications, this book uniformly describes basic methods of analysis...  Read More >>

In order to provide a forum where researchers could present and discuss their contributions to the described development,...  Read More >>

This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having...  Read More >>

Iterative methods are an important and fundamental class of solution algorithms that are used by scientists and...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and...  Read More >>

This is an approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanized...  Read More >>

This book constitutes the refereed proceedings of the Third Italian Conference on Algorithms and Complexity, CIAC'97,...  Read More >>

 Read More >>

 Read More >>

The communication complexity of two-party protocols is an only 15 years old complexity measure, but it is already...  Read More >>

 Read More >>

This volume discusses many aspects of parallel computing from a theoretical as well as a practical oriented point...  Read More >>

Neural networks and fuzzy systems represent two distinct technologies that deal with uncertainty. Researchers are...  Read More >>