计算机和难解性 NP完全性理论导引

（美）M.R.加里，D.S.约翰逊著；张立昂等译1987 年出版603 页ISBN：7030016793

计算理论导引

（美）西普塞（Michael Sipser）著；张立昂等译2000 年出版273 页ISBN：7111075749

本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思...

可计算性复杂性语言 理论计算机科学基础

（美）戴维斯（Davis，M.D.），（美）威尤克（Weyuker，E.J.）著；张立昂等译1989 年出版307 页ISBN：7302004269

算法设计

Jon Kleinberg，Eva Tardos著；张立昂，屈婉玲译2007 年出版559 页ISBN：7302143358

本书围绕算法设计技术，对每种算法技术选择范例进行分析。

基础数学

张立昂编著1993 年出版273 页ISBN：7302013306

概率统计题解

耿素云，张立昂编著1999 年出版339 页ISBN：7301041896

概率统计 第2版

耿素云，张立昂编1996 年出版337 页ISBN：7301039271

离散数学 第2版

屈婉玲，耿素云，张立昂编著2008 年出版383 页ISBN：7302169654

概率统计

耿素云，张立昂编；王明舟责任编辑1987 年出版445 页ISBN：13209·190

算法设计与分析

屈婉玲，张立昂，王捍贫等编著2011 年出版219 页ISBN：9787302247562

本教材结合多年教学的积累和经验以及科研实践进行撰写。