检索到 30 条 主题词=数学理论 的结果
-
中文图书1.数学的统一性:阿蒂亚的数学观:M. F. Atiyah's view of mathematics O1-0/56
馆藏复本：2
可借复本：2 (英) M. F. 阿蒂亚著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书2.数学的建筑 O1-06/2
馆藏复本：2
可借复本：2 (法) 布尔巴基著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书3.最优控制理论讲义 O232/3
馆藏复本：1
可借复本：1 黄琳编著
科学出版社 2021
(0) 馆藏 -
中文图书4.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化 O1-53/14
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书5.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/15
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书6.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/13
馆藏复本：2
可借复本：2 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书7.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/12
馆藏复本：2
可借复本：2 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书8.数学的统一性.2版 O1-0/44
馆藏复本：1
可借复本：1 (英)阿蒂亚著
大连理工大学出版社 2022
(0) 馆藏 -
中文图书9.全局优化的几种确定性方法 O224/9
馆藏复本：0
可借复本：0 吴至友著
上海大学出版社 2006
(0) 馆藏 -
中文图书10.广义最优化理论和模型 O224/6
馆藏复本：0
可借复本：0 魏权龄, 闫洪著
科学出版社 2003
(0) 馆藏 -
中文图书11.全局优化的几种确定性方法 O224/9
馆藏复本：0
可借复本：0 吴至友著
上海大学出版社 2006
(0) 馆藏 -
中文图书12.网络优化.2版 O224/30/2B
馆藏复本：0
可借复本：0 谢金星, 邢文训, 王振波编著
清华大学出版社 2009
(0) 馆藏 -
中文图书13.最优化理论与方法 O224/29
馆藏复本：0
可借复本：0 黄平主编
清华大学出版社 2009
(0) 馆藏 -
中文图书14.全局优化的几种确定性方法 O224/9
馆藏复本：0
可借复本：0 吴至友著
上海大学出版社 2006
(0) 馆藏 -
中文图书15.全局优化的几种确定性方法 O224/9
馆藏复本：0
可借复本：0 吴至友著
上海大学出版社 2006
(0) 馆藏 -
中文图书16.数学与无穷观的逻辑基础 O1-0/26
馆藏复本：0
可借复本：0 朱梧?著
大连理工大学出版社 2008
(0) 馆藏 -
中文图书17.最优控制理论与应用 O232/3
馆藏复本：0
可借复本：0 李国勇编著
国防工业出版社 2008
(0) 馆藏 -
中文图书18.数学所讲座.2016 O1-0/42
馆藏复本：1
可借复本：1 张晓等主编
科学出版社 2020
(0) 馆藏 -
中文图书19.科学学与科技管理的数学原理 G301/70
馆藏复本：2
可借复本：2 谷兴荣著
中国人民大学出版社 2014
(0) 馆藏 -
中文图书20.四色猜想命题:张尔光研究文集 O236-53/1
馆藏复本：1
可借复本：1 张尔光著
中央编译出版社 2012
(0) 馆藏
