Directory Help
Search only in TheoreticalSearch the Web  

Theoretical
  Computers > Computer Science > Theoretical   Go to Directory Home  

Categories
Asynchronous Computability (5)
Automata Theory (41)
Complexity Theory (156)
Computability (12)
Conferences (6)
 Formal Language Theory (31)
Forums and Networks (4)
Information Theory (74)
Journals (16)
Organizations (2)
 People (42)
Quantum Computing (65)
Quines (3)
Research Groups (16)
Software (3)
Web Pages
Viewing in Google PageRank order               View in alphabetical order
  Theoretical Computer Science on the Web - http://ai.stanford.edu/~suresh/theory/theory-home.html
A directory of resources related to theoretical computer science from Stanford University.
  Church-Turing Thesis - http://en.wikipedia.org/wiki/Church-Turing_thesis
Wikipedia article.
  Interactive Computation - http://en.wikipedia.org/wiki/Interactive_computation
Wikipedia article.
  Computability Theory - http://en.wikipedia.org/wiki/Computability_theory
Wikipedia article.
  Computability Logic - http://www.cis.upenn.edu/~giorgi/cl.html
Main web source on the subject: overview, downloadable articles, links.
  CSCI 0510 Models of Computation - http://www.cs.brown.edu/courses/csci0510/
Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
  Theory of Computation - http://www.cs.bu.edu/fac/lnd/toc/
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
  Lecture Notes on Theory of Computation - http://www.jn.inf.ethz.ch/education/index.html
Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
  Theoretical Computer Science Search Engine - http://searchtcs.googlepages.com/
A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.
  Rusty Spigot Computer Science Notes - http://www.rustyspigot.com/Computer_Science/
Notes on a range of computer science subjects, from the Cambridge undergraduate course.
  Introduction to Formal Models in Computer Science - http://www.cs.washington.edu/education/courses/322/06sp/
Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of the Google directory is based on the Open Directory and is enhanced using Google's own technology.
The following Open Directory editors contributed to this category:
jarekadam   

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...