Computer Science: Abstraction to Implementation
by Robert M. Keller
Publisher: Harvey Mudd College 2001
Number of pages: 627
This book is intended for a broad second course in computer science, one emphasizing principles wherever it seems possible at this level. While this course builds and amplifies what the student already knows about programming, it is not limited to programming. Instead, it attempts to use various programming models to explicate principles of computational systems.
Home page url
Download or read it online for free here:
by John C. Reynolds - Prentice Hall
Read this book if you need a much deeper understanding of programming: the need to carefully structure a program to avoid being overwhelmed by its complexity, or the need to insure reliability beyond what can he achieved by debugging.
by Sergey A. Babkin - CreateSpace
This book provides an advanced guide to the issues of the parallel and multithreaded programming. It goes beyond the high-level design of the applications, into the details that are often overlooked but vital to make the programs work.
by Peter Van Roy, Seif Haridi - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
by Chris Pine - Pragmatic Bookshelf
Pine teaches you how to program in Ruby with a minimum of fuss or bother. Starting with simple one-line programs, you'll see how to have your webpage send you email, to shuffle your music, to rename your photos from your digital camera, and more.