Ramol Internet Saver by ODP
Ramol Poleca:
Przytulanki Anki
Ultimate Telecom Media
Jak grać na giełdzie
Moje zapisane:
Nie masz jeszcze zapisanych.
w całym ODP
tylko w Computer_Science/Theoretical
Top
:
Computers
:
Computer_Science
: Theoretical:
Conferences
(6)
Forums and Networks
(4)
Journals
(13)
Organizations
(1)
People
(33)
Research Groups
(14)
Automata Theory
(37)
Complexity Theory
(141)
Computability
@
(9)
Formal Language Theory
(30)
Information Theory
@
(56)
Quantum Computing
(54)
Asynchronous Computability
(5)
Quines
@
(3)
Software
(2)
See also:
Computers: Algorithms
(297)
Science: Math: Applications: Communication Theory: Cryptography
(237)
Science: Math: Combinatorics
(396)
Science: Math: Geometry: Computational Geometry
(60)
Science: Math: Logic and Foundations
(694)
Theoretical Computer Science on the Web
- A directory of resources related to theoretical computer science from Stanford University.
CSCI 0510 Models of Computation
- Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
Church-Turing Thesis
- Wikipedia article.
Computability Logic
- Main web source on the subject: overview, downloadable articles, links.
Computability Theory
- Wikipedia article.
Interactive Computation
- Wikipedia article.
Introduction to Formal Models in Computer Science
- Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.
Lecture Notes on Theory of Computation
- Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
Rusty Spigot Computer Science Notes
- Notes on a range of computer science subjects, from the Cambridge undergraduate course.
Theoretical Computer Science Search Engine
- A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.
Theory of Computation
- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.