Computational Complexity: A Modern Approach
Sanjeev Arora, Boaz Barak

Introduction to Algorithms (CLRS)
Thomas Cormen, Charles Leiserson, Ronald Rivest, Clifford Stein

Combinatorial Optimization
Bernhard Korte, Jens Vygen
(Также доступна в русском переводе от Максима Бабенко).