石头:2229 - 371 x
计算理论是对有效计算、计算过程模型及其极限的研究。计算理论包括现代计算复杂性理论的发展,高效图算法的基础,以及应用逻辑和形式化验证的使用,以建立可靠的系统。
计算理论相关期刊
计算系统理论,图像与视觉计算,IEEE移动计算汇刊,SIAM科学计算杂志,ACM计算调查。