-
中文图书1.不等式机器证明与自动发现 O178-39/Y20#1
馆藏复本:2
可借复本:2 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书2.实域论 O1-51/Z04
馆藏复本:5
可借复本:5 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书3.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/H93
馆藏复本:5
可借复本:1 黄文奇,许如初著
科学出版社 2004
(0) 馆藏 -
中文图书4.多项式系统的实根分离算法及其应用 O174.14/L89
馆藏复本:2
可借复本:2 陆征一等著
科学出版社 2004
(0) 馆藏 -
中文图书5.实域论 O1-51/Z04#1
馆藏复本:1
可借复本:1 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书6.交互式马尔可夫链:并发系统的设计、验证与评价 O211.62/W77
馆藏复本:3
可借复本:3 吴尽昭,王永祥,覃广平著
科学出版社 2007
(0) 馆藏 -
中文图书7.数学机械化 O1-0/W95
馆藏复本:3
可借复本:3 吴文俊著
科学出版社 2003
(0) 馆藏 -
中文图书8.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/H93#1
馆藏复本:3
可借复本:0 黄文奇,许如初著
科学出版社 2004
(0) 馆藏 -
中文图书9.实域论 O1-51/Z04#2
馆藏复本:2
可借复本:2 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书10.不等式机器证明与自动发现 O178-39/Y20
馆藏复本:3
可借复本:3 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书11.方程求解与机器证明:基于MMP的问题求解 O122.2/G26
馆藏复本:5
可借复本:3 高小山[等]著
科学出版社 2006
(0) 馆藏 -
中文图书12.复杂非线性波的构造性理论及其应用 O534/Y11
馆藏复本:3
可借复本:3 闫振亚著
科学出版社 2007
(0) 馆藏 -
中文图书13.进程代数:对称与动作细化 TP301.6/W47
馆藏复本:3
可借复本:3 王永祥,吴尽昭,蒋建民著
科学出版社 2007
(0) 馆藏