Mathematical theory of computation books

Helps to clarify biological aspects of gene assembly, yields insights into the nature of computation, and broadens...  Read More >>

Steiner's Problem concerns finding a shortest interconnecting network for a finite set of points in a metric space....  Read More >>

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation...  Read More >>

This book contains the extended abstracts presented at the 12th International Conference on Power Series and Algebraic...  Read More >>

Includes results in semirings and their applications, as well as further applications of semiring theory in such...  Read More >>

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using...  Read More >>

 Read More >>

 Read More >>

 Read More >>

The first half of the book is devoted to the discussion of classical statistical issues, ranging from the basic...  Read More >>

This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods...  Read More >>

 Read More >>

 Read More >>

The German Research Council (DFG) decided 1987 to establish a nationwide five year research project devoted to dynamics...  Read More >>

 Read More >>

Maximum entropy and Bayesian methods have fundamental, central roles in scientific inference, and, with the growing...  Read More >>

These techniques include 3D Radiology, 3D X-ray Computed Tomography (3D-CT), Single Photon Emission Computed Tomography...  Read More >>

This book is not intended to be a text-book, delineating the full scope of finite element methodology, nor is it...  Read More >>

This book contains the courses given at the Third School on Statistical Physics and Cooperative Systems held at...  Read More >>

Covers the principal branches of graph theory in more than a thousand exercises of varying complexity. This work...  Read More >>

The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly...  Read More >>

These considerations, as developed by Quine, introduce us to a conceptual perspective like the ""internal realist""...  Read More >>

Reasoning under uncertainty is always based on a specified language or for­ malism, including its particular syntax...  Read More >>

Presents a study on the structures of vertex operator superalgebras and their modules. This book includes related...  Read More >>

This text contains the courses given on Complex Systems held at Santiago, Chile, 1996, by researchers working on...  Read More >>