La Teoría de la Computación es el estudio de la computación eficiente, los modelos de procesos computacionales y sus límites. La teoría de la informática consiste en el desarrollo de la teoría moderna de la complejidad computacional, los fundamentos de algoritmos gráficos eficientes y el uso de la lógica aplicada y la verificación formal para construir sistemas confiables.
Revistas relacionadas de teoría de la computación
Teoría de los sistemas informáticos, informática de imagen y visión, IEEE Transactions on Mobile Computing, SIAM Journal of Scientific Computing, ACM Computing Surveys.
English 
Chinese 
Russian 
German 
French 
Japanese 
Portuguese 
Hindi