Formal Verification Techniques

• WWW Virtual Libarary: Formal methods, Links2Go: Formal methods
• Pi-Calculus, CSP (JCSP), Petri nets, Model checking, CWB, Concurrency Factory, Pict
• LICS (proc), Concur, Coordination (proc)

Algorithms & Concrete Math

• The Art of Computer Programming, Concrete Mathematics
• The Stony Brook algorithm repository
• Graph Theory, Graph Coloring, Graph Drawing
• A compendium of NP optmization problems
• Data structures and algorithms page by G. Toussaint
• Rajeev Motwani's Notes on Approximations Algorithms
• David P. Williamson on semidefinite programming
• The Computational Geometry Pages
• Rajeev Motwani, David R. Karger
• SICOMP, STOC, FOCS, SODA

Theory

• Theoretical Computer Science on the Web (formerly, Dennis' theory page)
• Electronic Colloquium on Computational Complexity
• Uri Zwick's courses on on Boolean Circuit Complexity
• TCS Virtual Address Book
• Sanjeev Arora
• STOC (proc), FOCS (proc), Complexity (proc)

Programming Languages

• M. Leone's Programming Language Research page
• Gary Leavens' Lieterature Recommendation: a little out-dated
• Standard ML of New Jersey, Scheme (Schemers.org, SICP), Common Lisp (CLHS, Cons.org), Haskell.org, Squeak.org, Self
• A Note on Scheme Implementation by Paul Wilson
• Daniel P. Friedman, Mitchell Wand, Matthias Felleisen, Christian Queinnec
• Gordon Plotkin, John C. Mitchell, Luca Cardelli
• TOPLAS, PLI, POPL (proc), ICFP (proc)

Software Systems

• Mobile Agent Research Groups
• Obliq, Amber, Orca, Network Objects, Aglets
• CORBA, EJB, DCOM
• OOPSLA, Mobile Object Systems Workshop

Software Engineering & Formal Methods

• AspectJ, HyperJ
• Patterns homepage
• On-line book How to design programs by M. Felleisen et al.
• Gail Kaiser, Barbara Liskov, John V. Guttag, David Garlan, Jeannette M. Wing
• TOSEM, IEEE T-SE, ICSE (proc), FSE (proc)

Computer Architecture and Organization

• Brian Shelburne's PDP-8 Homepage

Systems & Networking

• OS Projects, Review of Operating Systems
• Mach, Sprite, SPIN, Plan 9, Exokernel, OpenBSD, Hurd
• POSIX threads page
• Internet technical resources maintained by H. Schulzrinne
• Protocols: RTP, SIP
• Butler Lampson, Brian Bershad, David Cheriton, M. Frans Kaashoek
• SOSP (proc), PODC (proc), USENIX, OSDI

Security & Cryptography

• Oded Goldreich's Foundations of Cryptography
• Lecture Notes on Cryptography by S. Goldwasser and M. Bellare
• Handbook of Applied Cryptography: online handbook
• KeyNote
• Ronald L. Rivest, Shafi Goldwasser, Oded Goldreich

Miscellaneous

• Readings in Computer Science (new), Readings in Self-Reflection
• Unix (mostly Linux) Links, COMPSURVEY
• Futurist programming notes