Zen Style Programming
by Nils M Holm
Publisher: Lulu Press 2008
Number of pages: 336
The first part of this book introduces the concept of functional programming, describes a language that fulfills all the requirements, and shows how to solve simple problems in it. The second part of the book shows how to apply the techniques of the first part to some problems of varying complexity. The third part, finally, shows how to implement the abstraction layer that is necessary for solving problems in an abstract way on a concrete computer.
Download or read it online for free here:
by Jon Bentley - Addison-Wesley Professional
The book focuses on choosing the right algorithms and on showing how to solve problems effectively. Each chapter frames a particular programming task (sorting numbers, creating anagrams, counting the words). Code examples are written in C and C++.
by Robert M. Keller - Harvey Mudd College
This book is intended for a second course in computer science, one emphasizing principles wherever it seems possible. It is not limited to programming, it attempts to use various programming models to explicate principles of computational systems.
by Stephen Muggleton, Luc de Raedt - ScienceDirect
Inductive Logic Programming is a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge. The authors survey the most important theories and methods of this new field.
by Allen Cypher - The MIT Press
Programming by Demonstration is a method that allows users to create programs by demonstrating what the program should do. The book describes 18 implementations of Programming by Demonstration, and discusses the problems for this method.