大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 计算理论 的图书(共14本)

计算理论导引

9
索取号：620098
作者：西普塞、 M.、张立昂、王捍贫、黄雄、
出版社：北京 : 机械工业出版社, 2000

语言与机器 : 计算机科学理论导论 : an introduction to the theory of computer science

8.9
索取号：TP3/200850
作者：萨德坎普、孙家̤ь、
出版社：北京 : 机械工业出版社, 2008

图灵的秘密 : 他的生平、思想及论文解读

8.8
索取号：K835.616.1/20122
作者：佩措尔德、杨卫东、朱皓、
出版社：北京 : 人民邮电出版社, 2012

自动机理论、语言和计算导论

8.7
索取号：TP301.1/20082
作者：霍普克罗夫特、沃尔曼、马特万、孙家̤ь、
出版社：北京 : 机械工业出版社, 2008

计算理论基础

8.3
索取号：TP301/20063
作者：刘易斯、帕帕季米特里乌、张立昂、刘田、
出版社：北京 : 清华大学出版社, 2006

形式语言与自动机导论

8
索取号：TP301.2/20061
作者：林茨、 P.、孙家̤ь、
出版社：北京 : 机械工业出版社, 2005

膜计算导论

0
索取号：TP183/201211
作者：珀温、潘林强、曾湘祥、宋弢、
出版社：武汉 : 华中科技大学出版社, 2012

近世计算理论导引 : NP难度问题的背景、前景及其求解算法研究

0
索取号：TP301.6/20094
作者：黄文奇、许如初、
出版社：北京 : 科学出版社, 2004

算法分析导论

0
索取号：TP301.6/200611
作者：塞奇威克、弗拉若莱、冯舜玺、李学武、裴伟东、
出版社：北京 : 机械工业出版社, 2006

可计算性与计算复杂性导引

0
索取号：TP301.4/971.2
作者：张立昂、
出版社：北京 : 北京大学出版社, 2004

计算复杂性导论

0
索取号：TP301.5/20061
作者：堵丁柱、葛可一、王洁、
出版社：北京 : 高等教育出版社, 2002

程序设计的数学基础 [YW]

0
索取号：609802
作者：贝克曼 F.S.、曹德和、吴延佳、
出版社：北京 : 科学出版社, 1991.8

递归论

0
索取号：655453
作者：莫绍揆、
出版社：北京 : 科学出版社, 1987.11

可计算性与计算复杂性导引

0
索取号：609314
作者：张立昂、
出版社：北京 : 北京大学出版社, 1996