FeedAlthough "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi looks intimidatingly big at around 900 pages, I found it surprisingly easy to read. It has a good balance of theoretical and practical descriptions of the concepts covered by it. It has a cohesive overview of the major programming styles in a manner that I have not seen in any other book. I would rank it as a must-read for the serious programmer along with classics like "The Art of Computer Programming" and "Structure and Interpretation of Computer Programming".
Computer Books
"How to Solve it by Computer" by R. G. Dromey is inspired by George Polya's classic book on problem-solving "How to Solve it". This book explores how good problem-solving techniques can be applied in computer programming to come up with efficient algorithms for many problems.
"Programming Languages: Concepts and Constructs" (Second Edition) by Ravi Sethi is a book desgined to be used as one of the text books in a "Principles of Programming Languages" CS course. To that end, it covers all the major programming styles (imperative, functional and declarative) and variants (object-oriented and concurrent), basic lambda calculus, a short tour of a representative programming language or two for each of the covered styles, numerous exercises for the students to work out, extensive bibliography, etc.
