|
|
Home: Computer Science: Theoretical
- ACM SIGACT
ACM's special interest group for Theoretical Computer Science.
(Rating: 0.00 Votes: 0)
Rate It
- An Introduction to the Theory of Computation
An online text aimed at advanced undergraduate and graduate students. Chapters include Finite-Memory Programs, Recursive Finite-Domain Programs, General Programs, Resource Bounded Computation, Probabilistic Computation, and Parallel Computation.
(Rating: 0.00 Votes: 0)
Rate It
- Analysis Of Algorithms Home Page
An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.
(Rating: 0.00 Votes: 0)
Rate It
- CAC-NET/FoCM-NET
Archives and membership information of an electronic forum for researchers in Continuous Algorithms and Complexity and in Foundations of Computational Mathematics.
(Rating: 0.00 Votes: 0)
Rate It
- SIGACT News Theory Calendar
A calendar of upcoming theoretical computer science events and a list of recently released books in the field.
(Rating: 0.00 Votes: 0)
Rate It
- The Types Forum
Archives and subscription information for this moderated mailing list which focuses on semantical, categorical, operational, and proof theoretical topics relating to type theory.
(Rating: 0.00 Votes: 0)
Rate It
- Virtual Turing Machine 2
Simulates a Turing machine. Users can write their own Turing machines and see their machines work.
(Rating: 0.00 Votes: 0)
Rate It
|
|
|
Web Hosting
Inkjet Cartridges
Go to my PC
Coupons
Discount Software
|