| 暂存书架(0) | 登录

检索到 6 条 责任者=宋方敏 的结果    

 


所有图书 可借图书

  1. 中文图书1.数理逻辑十二讲 O141/3008

    馆藏复本：2
    可借复本：2     宋方敏, 吴骏编著
    机械工业出版社 2018
    (0) 馆藏

  2. 中文图书2.量子程序设计语言 TP312/2833/ 1

    馆藏复本：2
    可借复本：1     徐家福, 宋方敏著
    科学出版社 2013
    (0) 馆藏

  3. 中文图书3.计算模型导引 O24/3008

    馆藏复本：2
    可借复本：1     宋方敏编著
    高等教育出版社 2012
    (0) 馆藏

  4. 中文图书4.离散数学及其在计算机中的应用.第5版 O158/2832/ 3-5

    馆藏复本：3
    可借复本：2     徐洁磐, 朱怀宏, 宋方敏编著
    人民邮电出版社 2008
    (0) 馆藏

  5. 中文图书5.Martin-Lof类型论程序设计导引 O24/8010

    馆藏复本：5
    可借复本：4     (瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著
    南京大学出版社 2002
    (0) 馆藏

  6. 中文图书6.离散数学及其在计算机中的应用.第4版 O158/2832/ 3-4

    馆藏复本：5
    可借复本：4     徐洁磐, 朱怀宏, 宋方敏编著
    人民邮电出版社 2005
    (0) 馆藏

返回顶部