| Class | Instructor(s) | Text | Author(s) | Required or recommended? | Publisher |
| 142 |
Beame & Levy |
Problem Solving and Program Design in C |
Hanly, Koffman |
req |
Addison-Wesley |
| 143 |
Bershad & Notkin |
Data Abstractions and Structures Using C++ |
Headington, Riley |
req |
Heath |
| 143 |
Bershad & Notkin |
C++ Primer |
Lippman |
rec |
Addison-Wesley |
| 321 |
Walkup |
Discrete Mathematics and Its Applications |
Rosen |
req |
McGraw Hill |
| 322 |
Ladner |
Languages and Machines |
Sudkamp |
req |
Addison-Wesley |
| 326 |
Etzioni |
Data Structures and Algorithm Analysis in C++ |
Weiss |
req |
Benjamin-Cummings |
| 341 |
Dugan |
PROLOG programming for Artificial Intelligence |
Bratko |
req |
Addison-Wesley |
| 341 |
Dugan |
Small-talk 80: The Language |
Goldberg, Robson |
req |
Addison-Wesley |
| 341 |
Dugan |
Common Lisp: A Gentle Introduction to Symbolic Computing |
Touretzky |
req |
Benjamin-Cummings |
| 341 |
Dugan |
Elements of ML Programming |
Ullman |
req |
Prentice Hall |
| 370 |
Somani |
Contemporary Logic Design |
Katz |
req |
Benjamin-Cummings |
| 373 |
Shapiro |
Data Structures and Algorithm Analysis in C |
Weiss |
req |
Benjamin-Cummings |
| 378 |
Baer |
Computer Organization and Design: The Hardware/Software Interface |
Hennessy, Patterson |
req |
Morgan Kaufmann |
| 403 |
Shaw |
Fundamentals of Software Engineering |
Ghezzi, Jazayeri, Mandrioli |
req |
Prentice Hall |
| 413 |
Tanimoto |
The Elements of Artificial Intelligence Using Common Lisp |
Tanimoto |
rec |
WH Freeman |
| 421 |
Ruzzo & Tompa |
Introduction to Algorithms |
Cormen, Leiserson, Rivest |
req |
McGraw Hill |
| 451 |
Zahorjan |
Operating System Concepts |
Peterson, Silberschatz |
req |
Addison-Wesley |
| 467 |
Burns |
No Text |
|
|
|
| 477 |
Bennett |
No Text |
|
|
|
| 490 A |
Kehl |
Modern VLSI Design |
Wolf |
rec |
Prentice Hall |
| 490 B/500 |
Borning |
Civilizing Cyberspace |
Miller |
rec |
Addison-Wesley |
| 501 |
Chambers |
Compilers: Principles, Techniques, and Tools |
Aho, Sethi, Ullman |
req |
Addison-Wesley |
| 521 |
Anderson |
Introduction to Algorithms |
Corman, Leiserson, Rivest |
req |
McGraw Hill |
| 548 |
Eggers |
Computer Architecture: A Quantitative Approach |
Hennessy, Patterson |
req |
Morgan Kaufmann |
| 549 |
Snyder |
No Text |
|
|
|
| 574 |
Hanks |
It's Probabalistic Reasoning in Intelligent Systems |
Pearl |
req |
Morgan Kaufmann |