大庆师范学院图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 13 条 丛书名=数学机械化丛书 的结果    

 


所有图书 可借图书

  1. 中文图书1.不等式机器证明与自动发现 O178-39/Y20#1

    馆藏复本:2
    可借复本:2
    杨路,夏壁灿著
    科学出版社 2008
    (0) 馆藏

  2. 中文图书2.实域论 O1-51/Z04

    馆藏复本:5
    可借复本:5
    曾广兴著
    科学出版社 2003
    (0) 馆藏

  3. 中文图书3.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/H93

    馆藏复本:5
    可借复本:1
    黄文奇,许如初著
    科学出版社 2004
    (0) 馆藏

  4. 中文图书4.多项式系统的实根分离算法及其应用 O174.14/L89

    馆藏复本:2
    可借复本:2
    陆征一等著
    科学出版社 2004
    (0) 馆藏

  5. 中文图书5.实域论 O1-51/Z04#1

    馆藏复本:1
    可借复本:1
    曾广兴著
    科学出版社 2003
    (0) 馆藏

  6. 中文图书6.交互式马尔可夫链:并发系统的设计、验证与评价 O211.62/W77

    馆藏复本:3
    可借复本:3
    吴尽昭,王永祥,覃广平著
    科学出版社 2007
    (0) 馆藏

  7. 中文图书7.数学机械化 O1-0/W95

    馆藏复本:3
    可借复本:3
    吴文俊著
    科学出版社 2003
    (0) 馆藏

  8. 中文图书8.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/H93#1

    馆藏复本:3
    可借复本:0
    黄文奇,许如初著
    科学出版社 2004
    (0) 馆藏

  9. 中文图书9.实域论 O1-51/Z04#2

    馆藏复本:2
    可借复本:2
    曾广兴著
    科学出版社 2003
    (0) 馆藏

  10. 中文图书10.不等式机器证明与自动发现 O178-39/Y20

    馆藏复本:3
    可借复本:3
    杨路,夏壁灿著
    科学出版社 2008
    (0) 馆藏

  11. 中文图书11.方程求解与机器证明:基于MMP的问题求解 O122.2/G26

    馆藏复本:5
    可借复本:3
    高小山[等]著
    科学出版社 2006
    (0) 馆藏

  12. 中文图书12.复杂非线性波的构造性理论及其应用 O534/Y11

    馆藏复本:3
    可借复本:3
    闫振亚著
    科学出版社 2007
    (0) 馆藏

  13. 中文图书13.进程代数:对称与动作细化 TP301.6/W47

    馆藏复本:3
    可借复本:3
    王永祥,吴尽昭,蒋建民著
    科学出版社 2007
    (0) 馆藏


返回顶部