|
Information Theory, Inference, and Learning Algorithms |
The Algorithm Design Manual |
|
Grids and Grid Technologies for Wide-Area Distributed Computing |
Prolog and Natural-Language Analysis |
|
Design
and Validation of Computer Protocols |
Handbook of Applied
Cryptography |
|
The Scientist and
Engineer's Guide to Digital Signal Processing |
Handbook of Applied Expert Systems |
|
An Introduction to Cryptography
[Mirror]
[Mirror]
[Mirror]
[Mirror](PDF) |
Cryptography: Theory and Practice |
|
Client/Server Computing, 2nd Edition
[Mirror]
|
Artificial Intelligence through Prolog |
|
An
Introduction to Logic Programming through Prolog
|
Practical Foundations of Mathematics
|
|
Introduction to Computer Science
[Another]
[Another] |
Operating System |
|
Concepts, Techniques, and Models of Computer Programming
[Mirror]
[Mirror] (PDF)
|
|
Introduction to Functional Programming
|
Information
Retrieval
[Notes] |
|
Simulating Humans: Computer Graphics, Animation, and Control
|
The Z
Notation: a reference manual |
|
Formal
Specification and Documentation using Z: A Case Study Approach
|
|
Logic for Computer Science: Foundations of Automatic Theorem Proving |
Universal Algebra for Computer Science |
|
Lessons In Electric Circuits |
The Chaos
Hypertextbook |
|
Structure and
Interpretation of Classical Mechanics |
How
Language Works |
|
Numerical
Recipes in Fortran 77
[Mirror] |
Numerical
Recipes in Fortran 90
[Mirror] |
|
Object-Oriented System
Development |
Numerical
Recipes in C
[Mirror]
[Mirror] |
|
Data Structures and Algorithms (John Morris) |
Data Structures through Java (P. Williams) |
|
Logic, Programming and
Prolog, 2nd Edition |
Fundamentals of Grid Computing |
|
Communicating
Sequential Processes (CSP) |
Object Oriented Programming |
|
Partial Evaluation and Automatic Program Generation |
A Short Introduction to
Operating Systems |
|
Guide to Software Engineering Body of Knowledge |
A Problem
Course in Mathematical Logic |
|
Dictionary of
Algorithms and Data Structures |
Math into LaTex (PDF) |
|
Type Theory and Functional Programming |
Programming in Martin-Löf's Type Theory
|
|
Functional Programming and Parallel Graph Rewriting |
Programming Languages |
|
Partial Evaluation and Automatic Program Generation |
Semantics with Applications |
|
Tree
Automata Techniques and Applications |
Programming from Specifications |
|
An Introduction to the Theory of Computation |
Problems on Algorithms, 2nd Edition |
|
Lecture Notes on Algorithm Analysis and Computational Complexity, 4th
Edition (PDF) |
|
Lecture Notes on Optimization (PDF) |
Graph Theory, 2nd Edition |
|
A Compact Guide to Lex & Yacc
|
Parsing
Techniques - A Practical Guide |
|
How
to Think Like a Computer Scientist
[HTML] |
Working with Objects (PDF, 466p) |
|
Computer Animation: Algorithms and Techniques |
An Introduction to Multigrid Methods |
|
Handbook
of Algorithms and Data Structures |
How to Design Programs
|
|
Implementing Mathematics with The Nuprl Proof System
|
A Course in Universal Algebra |
|
Introduction to Computer Science Using Java
[Mirror]
[Mirror]
[Mirror] |
Modern Signal Processing
|
|
Implementing Functional Languages: A Tutorial |
Neural Nets: Dr K Gurney |
|
The GENTLE Compiler Construction System
[PostScript] |
Foundations of Computer Science |
|
The Haskell
Road to Logic, Maths and Programming |
Software Project Management, 2nd Ed. |
|
Parallel Complexity Theory |
Computers, Graphics, & Learning |
|
Structure & Interpretation of Computer Programs |
Dictionary of
Programming Languages |
|
Machine
Learning, Neural & Statistical Classification |
Matroid
Decomposition |
|
The Limits of
Mathematics |
Introduction to Finite Mathematics |
|
Compilers and
Compiler Generators: An Introduction with C++
[PDF Version] |
|
Compiler Construction
Using Flex and Bison |
Let's Build a Compiler |
|
Data
Structures and Algorithms with Object-Oriented Design Patterns in Java |
|
Data
Structures and Algorithms with Object-Oriented Design Patterns in C++ |
|
Data
Structures and Algorithms with Object-Oriented Design Patterns in C# |
|
Open
Distributed Systems
[Mirror] |
Stack Computers: The New Wave |
|
Computer Vision and Image Processing |
Data
Structures & Algorithms (A.Cawsey) |
|
Developing Component Software with CORBA
[Mirror] |
Reusable Software Components |
|
Artificial
Intelligence II (D. Marshall) |
Artificial
Intelligence I (W. Jones) |
|
Designing and
Building Parallel Programs
[Mirror]
[Mirror] |
Artificial
Intelligence (A. Cawsey) |
|
Mathematical Foundations of Computer Science |
Introduction to Symbolic Computation |
|
Programming Languages: Application and Interpretation |
Computer Aids for VLSI Design |
|
Statistical Software Engineering |
Introduction
to Machine Learning |
|
Syntax and
Semantics of Programming Languages |
A
Practical Theory of Programming |
|
Algorithms and
Complexity
|
Cellular Automata and Complexity |
|
Write
Your Own Operating System
[Resource]
[1]
[2]
[3] |
Software Engineering Methodologies |
|
Computer
Structures: Readings & Examples
[Mirror]
[Mirror] |
Logic and Proof |
|
Computer Structures: Principles and Examples |
Electronic Text Encoding
and Interchange |
|
Architecture
for Combinator Graph Reduction |
Computer Engineering |
|
Templates for the Solution of Linear Systems: Building Blocks for the
Iterative Methods |
|
Designing Computers and Digital Systems |
Patterns for Adaptive Programming (AP) |
|
Language Translation Using
PCCTS & C++ |
LAPACK Users'
Guide, 3rd Edition |
|
Constructive Computation
Theory |
Toposes,
Triples and Theories |
|
Categories, Types and Structures. An introduction to Category Theory for
the working computer scientist |
|
Practical
Computer Language Recognition and Translation |
Proofs
and Types |
|
Higher
Operads, Higher Categories |
Computational Category Theory |
|
Constructive Real Numbers and Constructive Function Spaces
|
The
Structure of Finite Algebras |
|
A Problem Course in Mathematical Logic |
Model Theory, Algebra, and Geometry |
|
Vector Math for 3D Computer Graphics |
Logics of Time and Computation |