|
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)
|
Graph
Theory
|
|
Lecture
Notes on Optimization (PDF)
|
Parsing
Techniques - A Practical Guide
|
|
A
Compact Guide to Lex & Yacc
|
Working
with Objects (PDF, 466p)
|
|
How
to Design Programs
|
An
Introduction to Multigrid Methods
|
|
Computer
Animation: Algorithms and Techniques
|
Handbook
of Applied Expert Systems
|
|
Client/Server
Computing, 2nd Edition
|
How
to Think Like a Computer Scientist
|
|
Artificial
Intelligence through Prolog
|
A
Course in Universal Algebra
|
|
Handbook
of Algorithms and Data Structures
|
Practical
Foundations of Mathematics
|
|
Implementing
Mathematics with The Nuprl Proof System
|
Neural
Nets: Dr K Gurney
|
|
Introduction
to Computer Science Using Java
|
Foundations
of Computer Science
|
|
Implementing
Functional Languages: A Tutorial
|
Software
Project Management, 2nd Ed.
|
|
The
GENTLE Compiler Construction System
|
Computers,
Graphics, & Learning
|
|
Introduction
to Computer Graphics
|
Numerical
Recipes in Fortran 90
|
|
Parallel
Complexity Theory
|
Numerical
Recipes in C
|
|
Numerical
Recipes in Fortran 77
|
Dictionary
of Programming Languages
|
|
Object-Oriented
System Development
|
Matroid
Decomposition
|
|
Structure
& Interpretation of Computer Programs
|
Introduction
to Finite Mathematics
|
|
Machine
Learning, Neural & Statistical Classification
|
Handbook
of Applied Cryptography
|
|
The
Limits of Mathematics
|
Let's
Build a Compiler |
|
Design
and Validation of Computer Protocols
|
Stack
Computers: The New Wave
|
|
Compilers
and Compiler Generators: An Introduction with C++
[PDF
Version]
|
Data
Structures & Algorithms
|
|
Compiler
Construction Using Flex and Bison
|
Reusable
Software Components
|
|
The
Scientist and Engineer's Guide to Digital Signal Processing
|
Artificial
Intelligence I (W. Jones)
|
|
Data
Structures and Algorithms with Object-Oriented Design Patterns in Java
|
Artificial
Intelligence (A. Cawsey)
|
|
Data
Structures and Algorithms with Object-Oriented Design Patterns in C++
|
Introduction
to Symbolic Computation
|
|
Data
Structures and Algorithms with Object-Oriented Design Patterns in C#
|
Computer
Aids for VLSI Design
|
|
Open
Distributed Systems
|
Introduction
to Machine Learning
|
|
Computer
Vision and Image Processing
|
Introduction
to Programming Languages
|
|
Developing
Component Software with CORBA
|
Cellular
Automata and Complexity
|
|
Artificial
Intelligence II (D. Marshall)
|
Software
Engineering Methodologies
|
|
Designing
and Building Parallel Programs
|
Electronic
Text Encoding and Interchange
|
|
Mathematical
Foundations of Computer Science
|
Computer
Engineering
|
|
Principles
of Programming Languages [PDF]
|
Patterns
for Adaptive Programming (AP)
|
|
Statistical
Software Engineering
|
LAPACK
Users' Guide, 3rd Edition
|
|
Advanced
Programming Language Design
|
Architecture
for Combinator Graph Reduction
|
|
Algorithms
and Complexity
|
Templates
for the Solution of Linear Systems: Building Blocks for the Iterative
Methods
|
|
Creating
Your Own Operating System
|
Designing
Computers and Digital Systems
|
|
Computer
Structures: Readings & Examples
|
Language
Translation Using PCCTS & C++
|
|
Computer
Structures: Principles and Examples
|
Practical
Computer Language Recognition and Translation
|
