西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 16 条 分类号=O141.3 的结果    

 


所有图书 可借图书

  1. 中文图书1.递归划分方法及其应用 O141.3/11

    馆藏复本：3
    可借复本：2     Heping zhang,Burton, H.Singer
    高等教育出版社 2021
    (0) 馆藏

  2. 中文图书2.非递归模型:内生性、互反关系与反馈环路 O141.3/10

    馆藏复本：3
    可借复本：2     (美) 帕梅拉·M.帕克斯顿, 约翰·R.希普, 桑德拉·马奎特-派亚特著
    格致出版社 2016
    (0) 馆藏

  3. 中文图书3.论可计算数:图灵与现代计算的诞生:the Birth of computer science O141.3/9

    馆藏复本：3
    可借复本：2     (美) 克里斯·伯恩哈特著
    中信出版社 2016
    (0) 馆藏

  4. 中文图书4.可计算性理论 O141.3/3

    馆藏复本：6
    可借复本：6     张鸣华著
    清华大学出版社 1984
    (0) 馆藏

  5. 西文图书5.The Eleventh International Symposium on Multiple-Valued Logic : proceedings, May 27-29, 1981, Lincol O141.3-53/E1

    馆藏复本：2
    可借复本：2     sponsoring organizations IEEE, IEEE Computers Society, the University of Oklahoma.
    IEEE Computer Society, 1981.
    (0) 馆藏

  6. 中文图书6.可计算性理论 O141.3/6

    馆藏复本：7
    可借复本：7     莫绍揆,王元元著
    科学出版社 1987.12
    (0) 馆藏

  7. 中文图书7.算法论.下册 O141.3/1-2

    馆藏复本：1
    可借复本：1     (苏)A.A.马尔科夫著
    科学出版社 1960
    (0) 馆藏

  8. 西文图书8.Combinatorial algorithms on words / O141.3/E1

    馆藏复本：2
    可借复本：2     edited by Alberto Apostolico, Zvi Galil.
    Springer-Verlag, c1985.
    (0) 馆藏

  9. 中文图书9.可计算性与不可解性 O141.3/4

    馆藏复本：3
    可借复本：3     (美)戴维斯,M.著
    北京大学出版社 1984
    (0) 馆藏

  10. 中文图书10.可计算性理论 O141.3/7

    馆藏复本：5
    可借复本：5     杨东屏, 李昂生著
    科学出版社 1999
    (0) 馆藏

  11. 中文图书11.算法论 O141.3/2

    馆藏复本：6
    可借复本：6     莫绍揆著
    科学出版社 1982
    (0) 馆藏

  12. 西文图书12.Recursion-theoretic hierarchies / O141.3/E2

    馆藏复本：1
    可借复本：1     Peter G. Hinman.
    Springer-Verlag, 1978.
    (0) 馆藏

  13. 西文图书13.Computability, complexity, logic / O141.3/E3

    馆藏复本：1
    可借复本：1     E. Bèorger.
    North-Holland, 1989.
    (0) 馆藏

  14. 中文图书14.多值逻辑的方法和理论:非正规多值逻辑研究 O141.3/8

    馆藏复本：2
    可借复本：2     霍书全著
    科学出版社 2009
    (0) 馆藏

  15. 中文图书15.递归论 O141.3/5

    馆藏复本：13
    可借复本：13     莫绍揆著
    科学出版社 1987.11
    (0) 馆藏

  16. 中文图书16.算法论.上册 O141.3/1-1

    馆藏复本：1
    可借复本：1     (苏)A.A.马尔科夫著
    科学出版社 1959
    (0) 馆藏

返回顶部