Theoretical computer science focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorit

Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and progr

Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to bi

Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists an

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.