Computability and Logic
Introduction to Reliable and Secure Distributed Programming
Computational Complexity
PROLOG
The Art of Prolog, second edition
Machine Learning
Numerical Recipes in C
Programming Languages
Semantics Engineering with PLT Redex
Crystal Clear
Why Programs Fail
UNIX Network Programming
Algorithms + Data Structures = Programs
Foundations of Programming - Building Better Software
Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search