计算理论是对高效计算、计算过程模型及其局限性的研究。计算理论包括现代计算复杂性理论的发展、高效图算法的基础以及使用应用逻辑和形式验证来构建可靠的系统。
计算理论相关期刊
计算系统理论、图像和视觉计算、IEEE 移动计算汇刊、SIAM 科学计算杂志、ACM 计算调查。
查看更多
English 
Spanish 
Russian 
German 
French 
Japanese 
Portuguese 
Hindi