中国科学院软件研究所计算机软件与理论 2019年 招生目录
-
081202
-
48
-
网络与并发实时系统的设计与分析
软件测试与分析
数据挖掘及语义Web
软件设计方法和形式规约
程序理论与验证技术
面向网络的计算理论及应用
模型检测、形式验证
并行算法与并行软件
数值并行计算
可信计算与基础软件
中文信息处理与信息检索
软件过程方法与技术
网络分布计算与软件工程
-
①101思想政治理论
②201英语一
③301数学一
④408计算机学科专业基础综合
-
-
-
中国科学院软件研究所计算机软件与理论 本学院相关专业
