北京大學計算機軟件與理論2017研究生招生參考書目

　　專業(yè)名稱、代碼：計算機軟件與理論(081202)

　　專業(yè)所屬門類、代碼：理學(08)

　　一級學科名稱、代碼：計算機科學與技術(0812)

　　所屬院系：北大信息科學技術學院

　　考試科目：

　�、�101 思想政治理論

　　②201 英語一

　�、�301 數(shù)學(一)

　　④907 計算機學科專業(yè)基礎綜合

　　研究方向：

　　01.軟件工程與軟件工程環(huán)境

　　02.智能化軟件開發(fā)方法與技術

　　03.高可信軟件理論與技術

　　04.普適計算軟件技術

　　05.知識工程與知件技術

　　06.軟件自適應理論與技術

　　07.群體軟件開發(fā)方法與技術

　　08.軟件需求工程

　　09.操作系統(tǒng)與中間件

　　10.移動與嵌入式軟件系統(tǒng)

　　11.程序設計模型及語言

　　12.互聯(lián)網軟件運行與優(yōu)化技術

　　13.普適大數(shù)據(jù)分析

　　14.網絡與信息安全

　　15.人工智能

　　16.知識表示與知識工程

　　17.電子商務與電子政務

　　18.模式識別與生物特征識別

　　19.面向大規(guī)模計算的網格構件技術

　　20.系統(tǒng)虛擬化技術

　　21.分布式地理建模技術

　　22.面向移動設備的空間信息技術

　　23.計算機圖形學

　　24.人機交互技術

　　25.虛擬現(xiàn)實技術

　　26.視覺計算

　　27.Web 環(huán)境下的數(shù)據(jù)庫與信息集成技術

　　28.數(shù)據(jù)倉庫與數(shù)據(jù)挖掘的方法和應用

　　29.數(shù)據(jù)庫管理系統(tǒng)實現(xiàn)技術

　　30.多媒體數(shù)據(jù)庫管理技術

　　31.典型應用領域的數(shù)據(jù)庫與信息系統(tǒng)

　　32.語義網與社會網絡分析

　　33.自然語言處理

　　34.機器翻譯技術

　　35.信息檢索與提取

　　36.文本知識獲取與知識工程

　　37.Web內容挖掘與輿情分析

　　38.語言知識庫系統(tǒng)

　　39.計算語言學

　　40.算法設計與分析

　　41.計算復雜性

　　42.程序理論

　　43.生物信息學

　　44.圖與組合優(yōu)化

　　45.模型檢測多智能體系統(tǒng)與安全協(xié)議驗證

　　46.難解問題的算法與應用

　　47.統(tǒng)計機器學習

　　48.并發(fā)理論及應用

　　49.并行軟件與編程模型

　　50.靜態(tài)程序分析與驗證

　　計算機軟件與理論考研參考書目：

　　1.《數(shù)據(jù)結構與算法》，張銘、王騰蛟、趙海燕，高等教育出版社，普通高等教育“十一五”國級規(guī)劃教材，2008-06;

　　2.《計算機組成與設計》英文版·第4版，David Patterson & John Hennessy ，機械工業(yè)出版社;

　　3.《微型計算機基本原理與應用》第2版，王克義，北京大學出版社;

　　4.《現(xiàn)代操作系統(tǒng)》(原書第3版)，(荷)Andrews S. Tanenbaum著，陳向群、馬洪兵等譯，機械工業(yè)出版社，2012-07;

　　5.《操作系統(tǒng)-精髓與設計原理》(原書第7版)，(美)William Stallings著，陳向群、陳渝譯，電子工業(yè)出版社，2012-09;

　　6.《計算機網絡》(中英文)第5版，Andrew S. Tanenebaum and David J. Wetherall,清華出版社，2012-03。

　　計算機軟件與理論考研專業(yè)課資料：

　　《北京大學907計算機學科專業(yè)基礎綜合考研真題及答案解析》

　　《2017北大907計算機學科專業(yè)基礎綜合模擬五套卷與答案解析》