The year 2018 marked the 75th anniversary of the founding of Mathematics of Computation, one of the four primary research journals published by the American Mat

The year 2018 marked the 75th anniversary of the founding of Mathematics of Computation, one of the four primary research journals published by the American Mat

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, a

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of t

This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to