Back to 1
Computational Complexity Theory - A graduate-level path from formal models to modern complexity classes, reductions, lower bounds, randomness, circuits, communication, proof systems, and quantum complexity