计算机科学

形式化基础

逻辑学

数学

理论计算机科学

形式语言

自动机

可计算性

算法

计算复杂性

描述复杂性

编译器

程序设计理论

信息论

类型理论

指称语义

微程序

遗传算法

并行计算

计算方法学

人工智能

计算机图形学

图像处理与计算机视觉

仿真与建模

数字信号处理

文档与文本处理

模式识别

语音识别

文字识别

签名识别

人脸识别

指纹识别

特定技术

测试基准

机器视觉

数据压缩

软件设计模式

数字信号处理

文件格式

信息安全

国际互联网络

超大规模集成电路设计

网络传输协议

网络处理器技术

整数运算器

浮点运算器

矩阵运算处理器

网格

相关学科

信息科学

软件工程

信息系统

计算机工程

信息安全

密码学

数学

工程学

语言学

逻辑学