More Book/Notes for Computer Science

ARTIFICIAL INTELLLIGENCE

• Implementing Mathematics with The Nuprl Proof System

• Building Expert Systems In Prolog (Amzi)

• Machine Learning, Neural and Statistical Classification (D. Michie, D. Spiegelhalter, C. Taylor)

• Introduction to Machine Learning (N. Nilsson)

• Artificial Intelligence I (W. Jones)

• Artificial Intelligence II (David Marshall)

• Cellular Automata and Complexity

• Practical Artificial Intelligence Programming in Java

• Implementing Mathematics with The Nuprl Proof System

• Logic for Computer Science Foundations of Automatic Theorem Proving

• Machine Learning, Neural and Statistical Classification

• Building Expert Systems In Prolog

• Introduction to Machine Learning

Compiler Design Books 

• Basics of Compiler Design (PDF 319P)
• Theory and Techniques of Compiler Construction (PDF 133P)
• Compiler Design Lecture Notes (PDF 114P)
• Compilers and Compiler Generators An Introduction with C++
• Comprehensive Compilers Review
• GNU Compiler Collection (GCC) Internals
• How to Design Programs
• Implementing Functional Languages A Tutorial
• Compilers Lecture Notes (R. Muhammad)
• Compilers Lecture Notes (R. Muhammad) by P. Graham
• Advanced Compiler Construction (K.D. Cooper)
• Compilers and Compiler Generators An Introduction with C++(P.D. Terry)
• Bison Manual
• A Compact Guide to Lex Yacc for Compiler Construction (T.Niemann)
• Lets Build a Compiler (J. Crenshaw )
• TrueType Instruction Compiler Tutorial
• Behavioral Compiler Tutorial
• A Practical Theory of Programming
• Advanced Programming Language Design
• Compiler Design Issues for Embedded Processors