Algorithms for Convex Optimization
Nisheeth K. Vishnoi
How to Prove It: A Structured Approach
Daniel J. Velleman
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack