SomaliNet
SCREEN:
NORMAL
NARROW
SERVICES:
TRANSLATIONS
PROMOTIONS
SOMALINET:
ABOUT US
CONTACT US
PRIVACY INFO
SITE STATUS
somali somalia
HOME
NEWS
BUSINESS
CHAT
SINGLES
DIRECTORY
FORUMS
BLOGS
VIRTUAL LIBRARY
PHOTO GALLERY
MORE
WHAT'S NEW!
::
HOME
::
DIR
::
COMPUTERS
::
COMPUTER_SCIENCE
::
THEORETICAL
TRANSLATIONS
PROMOTIONS
ENGLISH SOMALI DICTIONARY
SOMALI ENGLISH DICTIONARY
SOMALIA ON SOMALINET
VIDEOS
SITE MAP
ABOUT SOMALINET
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
FEEDBACK
|
OLD FRONT PAGE
NEW SECTION
TEST DRIVE
SOMALINET
VIDEOS SECTION!!!
SEARCH DIRECTORY
fopen(dir_cache/1c0c1163ed6c5623fecc6de68313ade9) [
function.fopen
]: failed to open stream: Permission denied
Error writing to cache!
only in Computer_Science/Theoretical
Top
:
Computers
:
Computer Science
:Theoretical
(377)
Conferences
(6)
Forums and Networks
(4)
Journals
(14)
Organizations
(2)
People
(35)
Research Groups
(14)
Automata Theory
(42)
Complexity Theory
(156)
Computability
@
(11)
Formal Language Theory
(32)
Information Theory
@
(62)
Quantum Computing
(54)
Asynchronous Computability
(5)
Quines
@
(3)
Software
(3)
See also:
Computers: Algorithms
(329)
Science: Math: Applications: Communication Theory: Cryptography
(287)
Science: Math: Combinatorics
(449)
Science: Math: Geometry: Computational Geometry
(61)
Science: Math: Logic and Foundations
(819)
Theoretical Computer Science on the Web
- A directory of resources related to theoretical computer science from Stanford University.
Church-Turing Thesis
- Wikipedia article.
Computability Logic
- Main web source on the subject: overview, downloadable articles, links.
Computability Theory
- Wikipedia article.
CSCI 0510 Models of Computation
- Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
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.
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.
Usenet comp.theory -
news:
-
Google Groups
Usenet sci.math -
news:
-
Google Groups
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor