Structure and Interpretation of Computer Programs - Harold Abelson
- Gerald Jay Sussman
- Julie Sussman
|
Code: The Hidden Language of Computer Hardware and Software |
The Art of Computer Programming - 4 volumes |
Algorithms - Robert Sedgewick
- Kevin Wayne
|
Introduction to Algorithms - Thomas H. Cormen
- Charles E. Leiserson
- Ronald L. Rivest
- Clifford Stein
|
|
|
Programming pearls - Jon L. Bentley
- Patrick Chan
|
Refactoring: Improving the Design of Existing Code |
Design Patterns - Erich Gamma
- Ralph Johnson
- John Vlissides
- Richard Helm
|
|
Working Effectively with Legacy Code |
The Mythical Man-Month: Essays on Software Engineering |
|
Writing Secure Code - Michael Howard
- David LeBlanc
|
Patterns of Enterprise Application Architecture - Martin Fowler
- David Rice
- Matthew Foemmel
- Edward Hieatt
- Robert Mee
|
Computer Organization and Design MIPS Edition: The Hardware/Software Interface - David A. Patterson
- John L. Hennessy
|
Operating System Concepts - Abraham Silberschatz
- Greg Gagne
- Peter B. Galvin
|
Introduction to the Theory of Computation |
Programming Language Pragmatics |
Introduction to Machine Learning |
Artificial intelligence - Stuart Russell
- Peter Norvig
|
The C Programming Language - Brian W. Kernighan
- Dennis M. Ritchie
|
The C[plus plus] programming language |
The Elements of Computing Systems: Building a Modern Computer from First Principles - Noam Nisan
- Shimon Schocken
|
Land of LISP: Learn to Program in LISP, One Game at a Time! |
Foundations of computer science |
Concepts, Techniques, and Models of Computer Programming |
Compilers - Alfred V. Aho
- Ravi Sethi
- Jeffrey D. Ullman
|
The Little Schemer - Daniel P. Friedman
- Matthias Felleisen
|
Introduction to automata theory, languages, and computation - John E. Hopcroft
- Rajeev Motwani
- Jeffrey D. Ullman
|
Concrete Mathematics - Ronald L. Graham
- Donald Ervin Knuth
- Oren Patashnik
|
Computational Complexity: A Modern Approach |
Computer Systems: A Programmer's Perspective - Randal E. Bryant
- David Richard O'Hallaron
|
Algorithms - Sanjoy Dasgupta
- Christos H. Papadimitriou
- Umesh Vazirani
|
Algorithm Design: Pearson New International Edition |
The Algorithm Design Manual |
Introduction to Algorithms: A Creative Approach |
Paradigms of artificial intelligence programming |
Applied Combinatorics on Words |
Languages and Machines: An Introduction to the Theory of Computer Science |
Abstract and Concrete Categories - Jiri Adamek
- Jiří Adámek (ing.)
- Horst Herrlich
- George E. Strecker
|
|
Basic category theory for computer scientists |
Engineering a Compiler - Keith D. Cooper
- Linda Torczon
|
|
Computer Architecture: A Quantitative Approach - John L. Hennessy
- David A. Patterson
|
|
Structured Computer Organization - Andrew S. Tanenbaum
- Todd Austin
|
Computational Geometry: Algorithms and Applications - Mark de Berg
- Marc van Kreveld
- Mark Overmars
- Otfried Cheong Schwarzkopf
|
Computer Graphics Computer Graphics: Principles and Practice - Andries van Dam
- Steven K. Feiner
- John F. Hughes
|
Fundamentals of Computer Graphics |
Real-Time Rendering, Third Edition - Tomas Akenine-Möller
- Eric Haines
|
Computer Vision: Algorithms and Applications |
Computer Vision: A Modern Approach - David A. Forsyth
- Jean Ponce
|
Machine Vision: Theory, Algorithms, Practicalities |
Cryptography Engineering Cryptography Engineering: Design Principles and Practical Applications - Niels Ferguson
- Bruce Schneier
- Tadayoshi Kohno
|
Introduction to Modern Cryptography: Principles and Protocols - Jonathan Katz
- Yehuda Lindell
|
Database Management Systems - Raghu Ramakrishnan
- Johannes Gehrke
|
Database Systems: The Complete Book - Hector Garcia-Molina
- Jeffrey D. Ullman
- Jennifer D. Widom
|
Distributed Systems: Concepts and Design - George Coulouris
- Jean Dollimore
- Tim Kindberg
|
|
Principles of Concurrent and Distributed Programming |
Introduction to Functional Programming using Haskell |
Learn You a Haskell for Great Good! |
The seasoned schemer - Daniel P. Friedman
- Matthias Felleisen
|
ML for the Working Programmer, 2nd Edition |
Logic in Computer Science: Modelling and Reasoning About Systems |
Mathematical Logic for Computer Science |
Designing the User Interface: Strategies for Effective Human-Computer Interaction - Ben Shneiderman
- Catherine Plaisant
|
Elements of Information Theory - Thomas M. Cover
- Joy A. Thomas
|
Information Theory and Reliable Communication |
INFORMATION THEORY, INFERENCE, AND LEARNING ALGORITHMS. |
|
An Introduction to Lambda Calculi for Computer Scientists |
PROLOG PROLOG: Programming for Artificial Intelligence |
|
Bayesian Reasoning and Machine Learning |
Data Mining: Practical Machine Learning Tools and Techniques - Ian H. Witten
- Eibe Frank
- Mark A. Hall
|
The Elements of Statistical Learning: Data Mining, Inference, and Prediction - Trevor Hastie
- Robert Tibshirani
- Jerome Friedman
|
|
Mining of Massive Datasets - Anand Rajaraman
- Jeffrey David Ullman
|
Pattern Recognition and Machine Learning |
Pattern Classification - Richard O. Duda
- Peter E. Hart
- David G. Stork
|
Foundations of Statistical Natural Language Processing - Christopher Manning
- Hinrich Schutze
|
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition - Dan Jurafsky
- James H. Martin
|
Computer Networking - James F. Kurose
- Keith Ross
|
|
Numerical Recipes in C Numerical Recipes in C: The Art of Scientific Computing - William H. Press
- Brian P. Flannery
- Saul A. Teukolsky
- William T. Vetterling
|
Operating Systems - Andrew S. Tanenbaum
- Albert S. Woodhull
|
Convex Optimization - Stephen Boyd
- Stephen P. Boyd
- Lieven Vandenberghe
|
Linear Programming and Network Flows - Mokhtar S. Bazaraa
- John Jarvis
- Hanif D. Sherali
|
Communicating and Mobile Systems: The Pi-Calculus |
Principles of Program Analysis - Flemming Nielson
- Hanne R. Nielson
- Chris Hankin
|
Essentials of programming languages - Daniel P. Friedman
- Mitchell Wand
- Christopher T. Haynes
|
Modern Programming Languages: A Practical Introduction |
|
Formal Semantics of Programming Languages |
Foundations for Programming Languages |
|