Mathematical theory of computation books

A comprehensive introduction to the basics of matroid theory, with a consideration of more advanced topics. The...  Read More >>

 Read More >>

Part I covers combinatorial algorithms for a number of important problems, using a wide variety of algorithm design...  Read More >>

 Read More >>

Graph Separators with Applications is devoted to techniques for obtaining upper and lower bounds on the sizes of...  Read More >>

 Read More >>

The author takes the approach of carrying common examples throughout the text and each chapter has a large number...  Read More >>

An account of set-oriented symbolic manipulation and automated reasoning methods.  Read More >>

This text presents a description and summary of past work in important areas of combinatorics and computation, as...  Read More >>

Papers in this volume cover topics such as: polygons and polyhedrons, divisible dissections, convex polygon packings,...  Read More >>

This second volume of ""Handbook of Automated Reasoning"" covers topics such as higher-order logic and logical frameworks,...  Read More >>

Dieses zweibändige Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel ""Diskrete...  Read More >>

The geometry of lines occurs naturally in such different areas as sculptured surface machining, computation of offsets...  Read More >>

 Read More >>

Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents...  Read More >>

The authors take up standard topics of college mathematics, and show how the computer algebra tool Maple can be...  Read More >>

8 Problems . . . 1 Concepts . . . 6 Limiting flexibility . 7 Other considerations . 9 Problems . 1 Concepts . 8...  Read More >>

Contains papers presented at the Third Joint Visualization Symposium of the Eurographics Association and the Technical...  Read More >>

Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus;...  Read More >>

 Read More >>

A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel...  Read More >>

The classical restricted three-body problem is of fundamental importance because of its applications in astronomy...  Read More >>

The goal of this book is to present a unified mathematical treatment of diverse problems in mathematics, physics,...  Read More >>

This title offers coverage of advances in the design of computer arithmetic units, particular attention is paid...  Read More >>

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der...  Read More >>