Teoria da Computação

Teoria da Computação é o estudo da computação eficiente, modelos de processos computacionais e seus limites. A teoria da computação consiste no desenvolvimento da moderna teoria da complexidade computacional, nos fundamentos de algoritmos de grafos eficientes e no uso de lógica aplicada e verificação formal para a construção de sistemas confiáveis.

Revistas Relacionadas de Teoria da Computação

Teoria de Sistemas de Computação, Computação de Imagem e Visão, Transações IEEE em Computação Móvel, SIAM Journal of Scientific Computing, ACM Computing Surveys.