Textbooks
15-212, Spring 1998

Theory of Computation:

The following is recommended:

Harry Lewis and Christos Papadimitriou, Elements of The Theory of Computation, 2nd ed., Prentice Hall.

Java:

The following are recommended:

David Flanagan, Java in a Nutshell, A Desktop Quick Reference, 2nd ed. (covers JDK 1.1), O'Reilly and Associates.
Campione and Walrath, Java Tutorial (online local copy; or original from Sun). It does have some holes in it; there is also a complete book version.

Also see Getting started with Sun Java, for information on using Java machines at CMU.

Java JDK 1.1.5 (the core Java API):

Documentation

Contents summary

Sources for the core APIs. Packages of particular interest:

Other Java Sources:

Language Specification 1.0 (But be warned that this is version 1.0, not 1.1.)
All Java material from Sun Microsystems.
Peter van den Linden, Just Java and Beyond, 3rd ed., (based on JDK 1.1), Sun Microsystems Press.

You can use other Java books if you like, instead of the above, but make sure they cover JDK 1.1. You can also use the older edition of Lewis and Papadimitriou, but locate a copy of the newer edition for specific references.

Java Coding Standards: