Mathematical theory of computation books

This booklet presents a reasonably self-contained theory of predicate trans­ former semantics. Predicate transformers...  Read More >>

The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence...  Read More >>

Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of...  Read More >>

This volume contains essays dealing with decision models for supporting individuals facing situations encompassing...  Read More >>

 Read More >>

Most papers published in this volume are based on lectures presented at the Chico Conference on Semigroups held...  Read More >>

The field of computational learning theory arose out of the desire to for­ mally understand the process of learning....  Read More >>

Insbesondere durch die ausführliche Behandlung des Reinforcement Learning und der Evolutiven Optimierung geht es...  Read More >>

In system design, generation of high-level abstract models that can be closely associated with evolving lower-level...  Read More >>

Object-Oriented Modeling describes further the use of object-oriented techniques in applications such as embedded...  Read More >>

Includes topics such as: binary decision diagrams, multi-terminal binary decision diagrams, edge-valued binary decision...  Read More >>

Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both...  Read More >>

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems,...  Read More >>

Outstanding issues in desk-top publishing systems include interactive editing of structured documents, integration...  Read More >>

Biology education, like science education in general, is in the midst of a revolution that is worldwide in scope....  Read More >>

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security...  Read More >>

This book constitutes the refereed proceedings of the 22nd International Conference on Algorithmic Learning Theory,...  Read More >>

The algorith­ mic approach to the subject has two principal aims: developing new tools for research within mathematics,...  Read More >>

The field of biologically inspired computation has coexisted with mainstream computing since the 1930s, and the...  Read More >>

In this book we develop various mathematical models of information dynamics, I -dynamics (including the process...  Read More >>

Preface to the English edition This monograph Ten Lectur,es on Statistical and Structural Pattern Recognition uncovers...  Read More >>

User-adaptive (or ""personalized"") systems take individual character­ istics of their current users into account...  Read More >>

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef...  Read More >>

It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his...  Read More >>

Both analyti­ cal methods and particularly numerical techniques have improved considerably, leading to an extended...  Read More >>