Mathematical theory of computation books

Among the topics addressed are graph algorithms, graph rewriting, hypergraphs, graph drawing, networking, approximation...  Read More >>

""Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface...  Read More >>

Aimed at those interested in experimental work related to the adaptive modelling of natural laws and sensory-neutral...  Read More >>

This combined book and software package provides a first course on linear programming for students.  Read More >>

The aim of this text is to build a bridge between computability and complexity theory and other areas of computer...  Read More >>

These conference proceedings contain original papers which were solicited in all areas of discrete mathematics and...  Read More >>

This is a first introduction to logic. Its emphasis is on showing how deduction may be viewed as computation and...  Read More >>

 Read More >>

Computational biology applies the power of computers to large, complex mathematical problems arising in molecular...  Read More >>

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way...  Read More >>

In this advanced text on algorithmic complexity, the authors explore an area fundamental to the study of theoretical...  Read More >>

This book provides the mathematical tools needed to pursue courses of study in business and economics, life science,...  Read More >>

Das vorliegende Buch entha, lt den Tei11 meiner Vorlesung ""Algorithmische In formationstheorie"" im WS 1996/97....  Read More >>

Ausgehend von der Theorie der Fuzzy-Mengen und Fuzzy-Logik werden neue Methoden zur Analyse unscharfer Daten entwickelt....  Read More >>

Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence...  Read More >>

 Read More >>

This is a presentation of resolution as a logical calculus and as a basis for computational algorithms and decision...  Read More >>

This collection of conference proceedings is divided into topical sections on programming methodology, artificial...  Read More >>

Offering a theoretical treatment of the fundamental concepts and methods of automated deduction, this text presents...  Read More >>

This book provides an introductory treatment of the fundamentals of decision-making in a distributed framework....  Read More >>

This introduction to the syntactic analysis of natural language and computer programmes serves as a textbook for...  Read More >>

 Read More >>

The book contains the methods and bases of functional analysis that are directly adjacent to the problems of numerical...  Read More >>

This book spotlights applied Kalman filtering and provides the necessary introductory material on random signal...  Read More >>

 Read More >>