reading list

This list was originally prepared for my use only, but like other misguided souls on the web, i too believe that one shouldn't collate more than two pieces of information without posting it online. Ordering, classification, etc will have to wait till the list grows big enough.

Other (bigger, :-( ) Lists
- NECI Digital Library alias ResearchIndex alias citeseer
- The Collection of Computer Science Bibliographies
- A Bibliographic Database for Computability Theory
- Google Web Directory - Computers > Computer Science > Theoretical
- Electronic Colloquium on Computational Complexity
- Collection of Lecture Notes, Survey Papers, etc in Theoretical Comp. Sci.
- Randals Collected Links (gives me a complex )
- Henry Wolkowicz' Home Page links to Optimization and Operations Research resources and some general math too.
- Mathematics WWW Virtual Library at the Florida State Univ, links ot math resources, including a nice collection of online books.
- Books On-line: Call Numbers Starting With QA QA = Lib. of Congress Math and Comp. Sci. call number catagory. Part of the Online Books Page, hosted at Univ. Penn. Library.
- Math Tutorials and Lecture Notes list at math.iisc
Tutorials, Notes
- Lecture Notes on Automata-Theoretic Approach to Automated Verification
  (taught at The Weizmann Institute) by Moshe Y. Vardi ( CS, Rice University) and Amir Pnueli (Math & CS, Weizmann Institute )
- An Introduction to the Theory of Computation
  Eitan Gurari, Ohio State University Computer Science Press, 1989, ISBN 0-7167-8182-4 Copyright © Eitan M. Gurari
- ECECS 543 Lecture Notes 4-1-97 on comp theory, under construction ???
- Lectures on Random Graphs by Joel Spencer, delivered at the IMA Summer Grad. Student Program at Ohio State, 1993
- Notes on Randomised Algorithms
  Course notes etc, from the Randomised Algorithms course by Avrim Blum, CMU. (Spring 1997)
- Efficient Algorithms and Intractable Problems Course Notes, Umesh Vazirani, CS, Berkeley.
- Advanced Algorithms Grad Course @ MIT. by Michel Goemans. includes Notes on the Lectures.
- Abstract Algebra on line - John Beachy @math.niu
- Practical Foundations of Mathematics by Paul Taylor. Mar 1999. Full text, online HTML version.
- Interactive Real Analysis***
       is an online, interactive textbook for Real Analysis or Advanced Calculus in one real variable. It deals with sets, sequences, series, continuity, differentiability, integrability (Riemann and Lebesgue), topology, and more."
           and is very well presented- Siddarth
- A Simple Introduction to Computable Analysis by Klaus Weihrauch. part of the ECCC Book Series.
- Numerical Recipes in C 2nd ed.
- NEOS Guide to Optimization
- A Brief Review of Elementary Quantum Chemistry
  C. David Sherrill, School of Chemistry and Biochemistry, Georgia Institute of Technology. Revised on 7 August 1997
- Protein Folding: Computational Challenges
  An Introduction to and a survey of work in the area. Mihai Pop; May 28, 1996
- [ Placeholder ]
Surveys ...etc
- A compendium of NP optimization problems Pierluigi Crescenzi, Viggo Kann. 2000-03-20. This is a continuously updated catalog of approximability results for NP optimization problems.covers
  - Graph Theory: Covering and Partitioning, Subgraphs and Supergraphs, Sets and Partitions.
  - Graph Theory: Vertex Ordering, Network Design: Cuts and Connectivity.
  - Sequencing and Scheduling.
- Probabilistic Proof Systems (Survey)
  "This survey was intended for a general audience and has appeared in the proceedings of ICM94, the International Congress of Mathematicians 1994. It focuses on the very basics and presents some well-known constructions."
  - http://eccc.uni-trier.de/eccc-local/ECCC-LectureNotes/goldreich/oded.html
- Open Questions in Recursion Theory
  ( link to ) An informal list of some open questions in recursion theory. December 1997 (not sure about updates)