检索到 9 条 分类号=O141.3 的结果
-
中文图书1.论可计算数:图灵与现代计算的诞生:the birth of computer science O141.3/10, O141.3/JR1
馆藏复本：3
可借复本：3 (美) 克里斯·伯恩哈特著
中信出版社 2016
(0) 馆藏 -
中文图书2.非递归模型:内生性、互反关系与反馈环路 O141.3/11
馆藏复本：2
可借复本：2 (美)帕梅拉·M. 帕克斯顿(Pamela M. Paxton)，(美)约翰·R. 希普(John R. Hipp)，(美)桑德拉·马奎特-派...
格致出版社 2016.12
(0) 馆藏 -
中文图书3.从算法到程序.2版 O141.3/9
馆藏复本：2
可借复本：1 徐子珊编著
清华大学出版社 2015.06
(0) 馆藏 -
中文图书4.非递归因果模型 O212.1/38
馆藏复本：1
可借复本：1 (美)威廉·D. 贝里(William D. Berry)著
格致出版社 2012
(0) 馆藏 -
中文图书5.多值逻辑函数结构理论研究 O141.3/7
馆藏复本：2
可借复本：1 刘任任, 欧阳建权著
科学出版社 2010
(0) 馆藏 -
中文图书6.算法论 O141.3/1
馆藏复本：1
可借复本：0 莫绍揆编著
科学出版社 1982
(0) 馆藏 -
中文图书7.递归论 O141.3/4
馆藏复本：1
可借复本：0 莫绍揆著
科学出版社 1987
(0) 馆藏 -
中文图书8.多值逻辑的理论及应用 O141.3/5
馆藏复本：1
可借复本：0 罗铸楷等著
科学出版社 1992.3
(0) 馆藏 -
中文图书9.递归论 O141.3/6
馆藏复本：2
可借复本：1 莫绍揆著
科学出版社 1987.11
(0) 馆藏
