-
中文图书1.方程求解与机器证明:基于MMP的问题求解 O122.2/0092
馆藏复本:3
可借复本:2 高小山 ... [等] 著
科学出版社 2006
(0) 馆藏
-
中文图书2.连续与离散系统常用数学变换 O231/0291
馆藏复本:3
可借复本:2 刘小云编著
人民交通出版社 2009
(0) 馆藏
馆藏复本:3
可借复本:2 高小山 ... [等] 著
科学出版社 2006
(0) 馆藏
馆藏复本:3
可借复本:2 刘小云编著
人民交通出版社 2009
(0) 馆藏