83500 |
软件工程 |
01 高可信计算理论与技术 02 形式化方法 03 程序分析与验证 04 模型驱动式软件构造技术 05 软件可信性度量与规范设计 06 自动推理与符号计算 07 生物信息计算技术 08 计算理论与计算模型 09 符号计算在非线性科学中的应用 10 密码与信息安全 11 数据挖掘与知识发现 12 大数据管理与数据流分析 13 新硬件环境下的数据管理 14 WEB数据管理和WEB挖掘 15 虚拟现实与可视分析 16 云计算 17 软硬件协同设计 18 传感网络设计 19 嵌入式系统设计与开发 20 信息物理融合系统 21 图像分析与理解 22 数字媒体技术 23 软件服务工程 24 软件工程管理 |
①101思想政治理论②201英语一③302数学二④840计算机学科基础(B) |
70 |
|