|
软件学院
|
083500
|
软件工程
|
01 高可信计算理论与技术
02 形式化方法
03 程序分析与验证 04 模型驱动式软件构造技术
05 软件可信性度量与规范设计
06 自动推理与符号计算
07 生物信息计算技术
08 计算理论与计算模型
09 符号计算在非线性科学中的应用
10 数据挖掘与知识发现
11 海量数据管理与数据流分
12 分布存储和P2P计算
13 WEB数据管理和WEB挖掘
14 虚拟现实与可视分析
15 软硬件协同设计
16 传感网络设计
17 嵌入式系统设计与开发
18 图像分析与理解
19 软件服务工程
20 软件工程管理
21密码与信息安全
|
① 101 思想政治理论
② 201 英语一
③ 302 数学二
④ 408 计算机学科专业基础综合
|
45
|
您现在的位置： 