-
中文图书1.递归划分方法及其应用 O141/113
馆藏复本:3
可借复本:3 Heaping Zhang, Burton H. Singer著
高等教育出版社 2021.01
(0) 馆藏 -
中文图书2.电子计算机数学基础内容提要及题解 O141/7
馆藏复本:9
可借复本:4 潘斯一等编
福建教育出版社 1981
(0) 馆藏 -
中文图书3.算法语言程序编制习题集 O141/96
馆藏复本:2
可借复本:2 (苏)布赫契亚罗夫(А.М.Бухтияров),(苏)伏罗洛夫(Г.Д.Фроло в)编
国防工业出版社 1983
(0) 馆藏 -
中文图书4.可计算性理论 O141/28
馆藏复本:1
可借复本:1 莫绍揆, 王元元著
科学出版社 1987
(0) 馆藏 -
中文图书5.可计算性理论 O141/27
馆藏复本:2
可借复本:2 张鸣华著
清华大学出版社 1984
(0) 馆藏 -
中文图书6.可计算性与不可解性 O141/29
馆藏复本:4
可借复本:4 (美)戴维斯(M .Davis)著
北京大学出版社 1984
(0) 馆藏 -
中文图书7.算法论 O141/95
馆藏复本:4
可借复本:4 莫绍揆编著
科学出版社 1982
(0) 馆藏 -
中文图书8.计算方法与算法语言 O141/25
馆藏复本:19
可借复本:19 张德荣编
人民教育出版社 1981
(0) 馆藏 -
中文图书9.递归可枚举集和图灵度:可计算函数与可计算生成集研究.影印版 O141/5
馆藏复本:2
可借复本:2 (美)索尔著
科学出版社 2007
(0) 馆藏