|
|
| Text | Author |
|
|
|
|
| Lisp | Patrick Winston and Bertold Horn |
|
|
| Structure and Interpretation | Harold Abelson and |
| of Computer Programs | Gerald Sussman |
|
|
| Paradigms of AI Programming | Peter Norvig |
|
|
| LATEX A Document Preparation System | Leslie Lamport |
|
|
| The Design and Analysis of Algorithms | Dexter C. Kozen |
|
|
| Matrix Computations | Charles Van Loan and Gene Golub |
|
|
| Computational Framework for | Charles Van Loan |
| the Fast Fourier Transform | |
|
|
| Algebraic Computation | Richard Zippel |
|
|
| Mathematica: A Practical Reference | Nancy Blachman |
|
|
| A Logical Approach to | David Gries and |
| Discrete Mathematics | Fred Schneider |
|
|
| Nonlinear Optimization: | Steve Vavasis |
| Computational Issues | |
|
|
| Topics in Commutative Ring Theory | Irving Kaplansky |
|
|
| Ouvres Mathematiques d’Evarist Galois | English translation |
|
|
| Introduction to | Brian Kernighan and |
| C Programming | and Dennis Ritchie |
|
|
| AWK | Brian Kernighan |
|
|
| A C++ Primer | Stanley B. Lippman |
|
|
| CS611 Programming Languages | Lecture notes |
|
|
| CS681 Design and | Dexter Kozen |
| Analysis of Algorithms | Lecture Notes |
|
|
| Bulletins of the AMS | (American Mathematical Society) |
|
|
| |