|
Fundamentals of
Data Structuresby Ellis Horowitz and Sartaj Sahni [HTML]
|
|
Introduction to Algorithms
by Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest [HTML]
|
|
Concepts, Techniques, and Models
of Computer Programming
|
|
Logic, Programming and Prolog,
2nd Edition
|
Fundamentals
of Grid Computing
|
|
Partial Evaluation
and Automatic Program Generation
|
A Short Introduction to
Operating Systems
|
|
Guide
to Software Engineering Body of Knowledge
|
Introduction to Computer
Science I
|
|
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
|
|
A Compact Guide
to Lex & Yacc
|
Parsing Techniques - A Practical
Guide
|
|
How to Design
Programs
|
Working with
Objects (PDF, 466p)
|
|
Computer
Animation: Algorithms and Techniques
|
An
Introduction to Multigrid Methods
|
|
Client/Server
Computing, 2nd Edition
|
|
Artificial
Intelligence through Prolog
|
Handbook
of Applied Expert Systems
|
|
Handbook of
Algorithms and Data Structures
|
How
to Think Like a Computer Scientist
|
|
Implementing Mathematics with The Nuprl Proof System
|
A Course in Universal
Algebra
|
|
Introduction
to Computer Science Using Java
|
Practical Foundations of Mathematics
|
|
Implementing
Functional Languages: A Tutorial
|
Neural
Nets: Dr K Gurney
|
|
The
GENTLE Compiler Construction System
|
Foundations
of Computer Science
|
|
Introduction to Computer
Graphics
|
Software
Project Management, 2nd Ed.
|
|
Parallel Complexity
Theory
|
Computers, Graphics,
& Learning
|
|
Numerical
Recipes in Fortran 77
|
Numerical
Recipes in Fortran 90
|
|
Object-Oriented
System Development
|
Numerical
Recipes in C
|
|
Structure &
Interpretation of Computer Programs
|
Dictionary of Programming
Languages
|
|
Machine Learning,
Neural & Statistical Classification
|
Matroid Decomposition
|
|
The Limits of Mathematics
|
Introduction
to Finite Mathematics
|
|
Design and
Validation of Computer Protocols
|
Handbook of Applied Cryptography
|
|
Compilers and Compiler
Generators: An Introduction with C++ [PDF
Version]
|
|
Compiler Construction Using
Flex and Bison
|
Let's Build a Compiler
|
|
The Scientist and Engineer's
Guide to Digital Signal Processing
|
|
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
|
Stack
Computers: The New Wave
|
|
Computer
Vision and Image Processing
|
Data Structures
& Algorithms
|
|
Developing
Component Software with CORBA
|
Reusable Software Components
|
|
Artificial Intelligence
II (D. Marshall)
|
Artificial Intelligence
I (W. Jones)
|
|
Designing and Building
Parallel Programs
|
Artificial Intelligence
(A. Cawsey)
|
|
Mathematical
Foundations of Computer Science
|
Introduction
to Symbolic Computation
|
|
Principles of Programming
Languages [PDF]
|
Computer Aids for VLSI Design
|
|
Statistical
Software Engineering
|
Introduction
to Machine Learning
|
|
Advanced
Programming Language Design
|
Introduction to Programming
Languages
|
|
Algorithms and Complexity
|
Cellular
Automata and Complexity
|
|
Creating Your Own Operating
System
|
Software
Engineering Methodologies
|
|
Computer Structures:
Readings & Examples
|
|
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
|
|
Practical Computer Language
Recognition and Translation
|