| 139 |
軟件學(xué)院 |
83500 |
軟件工程 |
01 高可信計(jì)算理論與技術(shù) 02 形式化方法 03 程序分析與驗(yàn)證 04 模型驅(qū)動(dòng)式軟件構(gòu)造技術(shù) 05 軟件可信性度量與規(guī)范設(shè)計(jì) 06 自動(dòng)推理與符號(hào)計(jì)算 07 生物信息計(jì)算技術(shù) 08 計(jì)算理論與計(jì)算模型 09 符號(hào)計(jì)算在非線性科學(xué)中的應(yīng)用 10 密碼與信息安全 11 數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn) 12 大數(shù)據(jù)管理與數(shù)據(jù)流分析 13 新硬件環(huán)境下的數(shù)據(jù)管理 14 WEB數(shù)據(jù)管理和WEB挖掘 15 虛擬現(xiàn)實(shí)與可視分析 16 云計(jì)算 17 軟硬件協(xié)同設(shè)計(jì) 18 傳感網(wǎng)絡(luò)設(shè)計(jì) 19 嵌入式系統(tǒng)設(shè)計(jì)與開發(fā) 20 信息物理融合系統(tǒng) 21 圖像分析與理解 22 數(shù)字媒體技術(shù) 23 軟件服務(wù)工程 24 軟件工程管理 |
①101思想政治理論②201英語一③302數(shù)學(xué)二④840計(jì)算機(jī)學(xué)科基礎(chǔ)（B） |
70 |
|
