Judea Pearl
Heuristics
Nevermore
Kelly Creagh
The Sinister Pig
Tony Hillerman
P Is for Peril
Sue Grafton
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson