Mathematical theory of computation books

The aim of this book is to provide a mathematical background for techniques in computer graphics, to develop a graphics...  Read More >>

Vorwort Zunehmend werden die Arbeitsplatze in unternehmensweite Datenverarbeitungs-, Informations- und Kommunikations-...  Read More >>

Mit den Begriffen Hard- und Software verbindet man anschau­ lich die Vorstellung von Strukturen, die man nur sehr...  Read More >>

A collection of surveys and exploratory articles about recent developments in computational Euclidean geometry....  Read More >>

Random Generation of Trees is about a field on the crossroads between computer science, combinatorics and probability...  Read More >>

 Read More >>

This book is a guide on conformal mappings, their applications in physics and technology, and their computer-aided...  Read More >>

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring...  Read More >>

an alternative way of looking at NP problems is introduced which focuses on which pa­ rameters of the problem are...  Read More >>

Maple is a computer algebraic system with a fast-growing number of users in schools, universities, and other institutions....  Read More >>

A collection of papers addressing the fundamental question what is a logical system? This book presents a wide...  Read More >>

This research monograph describes the integration of analogical and case-based reasoning into general problem solving...  Read More >>

ACP, the Algebra of Communicating Processes, is an algebraic approach...  Read More >>

The text presents Bayesian image analysis and dynamic Monte Carlo algorithms from the mathematical point of view....  Read More >>

This volume focuses on a specific subject: the analysis of CP-nets.  Read More >>

This review of developments in the field of parallel methods includes a summary of high-speed computing facilities,...  Read More >>

Computation Over Fuzzy Quantities focuses on mathematical models of real phenomena contaminated by vagueness or...  Read More >>

This book is a reflection of the growing interest in the application of computational and statistical tools to problems...  Read More >>

This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions...  Read More >>

This volume contains the refereed proceedings of the 1st Algorithmic Number Theory Symposium, held at Cornell University,...  Read More >>

Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time...  Read More >>

BL A fundamental review of logic theory for database and knowledge systemsThis book, from the Studies in Logic...  Read More >>

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of...  Read More >>

 Read More >>

A bibliographic overview of string searching and an anthology of descriptions of the principal algorithms available....  Read More >>