-
中文图书1.可计算性和计算复杂性 TP301/86
馆藏复本:3
可借复本:3 朱一清编著
国防工业出版社 2006
(0) 馆藏
-
中文图书2.可计算性与数理逻辑 O141/49
馆藏复本:3
可借复本:3 (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著
电子工业出版社 2005
(0) 馆藏
-
中文图书3.可计算性理论 O141.3/7
馆藏复本:6
可借复本:3 莫绍揆, 王元元著
科学出版社 1987
(0) 馆藏
-
中文图书4.哥德尔、艾舍尔、巴赫:集异璧之大成 O1-0/57
馆藏复本:6
可借复本:2 (美)侯世达著
商务印书馆 1996
(0) 馆藏
-
中文图书5.可计算性理论 O141.3/6
馆藏复本:5
可借复本:2 杨东屏,李昂生著
科学出版社 1999
(0) 馆藏
-
中文图书6.可计算性与计算复杂性导引 TP301/66
馆藏复本:3
可借复本:0 张立昂编著
北京大学出版社 1996
(0) 馆藏
-
中文图书7.可计算性复杂性语言:理论计算机科学基础 TP3/103
馆藏复本:4
可借复本:0 (美)戴维斯(Davis,M.D.),(美)威尤克(Weyuker,E.J.)著
清华大学出版社 1989.11
(0) 馆藏
-
中文图书8.可计算性理论 O29/23
馆藏复本:6
可借复本:1 张宏裕编著
天津科学技术出版社 1989.5
(0) 馆藏
-
中文图书9.可计算性引论 O213.2/28
馆藏复本:5
可借复本:1 王元元编
东南大学出版社 1990.5
(0) 馆藏