From professional translators, enterprises, web pages and freely available translation repositories.
== organizations ==* european association for theoretical computer science* sigact== journals and newsletters ==* "information and computation"* "theory of computing" (open access journal)* "formal aspects of computing"* "journal of the acm"* "siam journal on computing" (sicomp)* "sigact news"* "theoretical computer science"* "theory of computing systems"* "international journal of foundations of computer science"* "chicago journal of theoretical computer science" (open access journal)* "foundations and trends in theoretical computer science"* "journal of automata, languages and combinatorics"* "acta informatica"* "fundamenta informaticae"* "acm transactions on computation theory"* "computational complexity"* acm transactions on algorithms* information processing letters== conferences ==* annual acm symposium on theory of computing (stoc)* annual ieee symposium on foundations of computer science (focs)* acm–siam symposium on discrete algorithms (soda)* annual symposium on computational geometry (socg)* international colloquium on automata, languages and programming (icalp)* symposium on theoretical aspects of computer science (stacs)* international conference on theory and applications of models of computation (tamc)* european symposium on algorithms (esa)* ieee symposium on logic in computer science (lics)* international symposium on algorithms and computation (isaac)* workshop on approximation algorithms for combinatorial optimization problems (approx)* workshop on randomization and computation (random)* computational complexity conference (ccc)* acm symposium on parallelism in algorithms and architectures (spaa)* acm symposium on principles of distributed computing (podc)* international symposium on fundamentals of computation theory (fct)* annual conference on learning theory (colt)* international workshop on graph-theoretic concepts in computer science (wg)==see also==* formal science* unsolved problems in computer science* list of important publications in theoretical computer science== notes ==== further reading ==* martin davis, ron sigal, elaine j. weyuker, "computability, complexity, and languages: fundamentals of theoretical computer science", 2nd ed., academic press, 1994, isbn 0-12-206382-1.
== organizaciones ==* european association for theoretical computer science* sigact== revistas y boletines ==* "information and computation"* "theory of computing" (revista open access)* "formal aspects of computing"* "journal of the acm"* "siam journal on computing" (sicomp)* "sigact news"* "theoretical computer science"* "theory of computings systems"* "international journal of foundations of computer science"* "chicago journal of theoretical computer science" (revista open access)* "foundations and trends in theoretical computer science"* "journal of automata, languages and combinatorics"* "acta informatica"* "fundamenta informaticae"* "acm transactions on computation theory"* acm transactions on algorithms* information processing letters== conferencias ==* annual acm symposium on theory of computing (stoc)* annual ieee symposium on foundations of computer science (focs)* acm–siam symposium on discrete algorithms (soda)* annual acm symposium on computational geometry (socg)* international colloquium on automata, languages and programming (icalp)* symposium on theoretical aspects of computer science (stacs)* european symposium on algorithms (esa)* ieee symposium on logic in computer science (lics)* international symposium on algorithms and computation (isaac)* workshop on approximation algorithms for combinatorial optimization problems (approx)* workshop on randomization and computation (random)* computational complexity conference (ccc)* acm symposium on parallelism in algorithms and architectures (spaa)* acm symposium on principles of distributed computing (podc)== lectura adicional ==* martin davis, ron sigal, elaine j. weyuker, "computability, complexity, and languages: fundamentals of theoretical computer science", 2nd ed., academic press, 1994, isbn 0-12-206382-1.