-
中文图书1.可数Sofic群的等距弦性作用的维数 O1-0/R976
馆藏复本:3
可借复本:3 荣祯著
哈尔滨工业大学出版社 2023.01
(0) 馆藏 -
中文图书2.机器学习的数学理论 TP181/S149
馆藏复本:2
可借复本:2 史斌, (美) S.S.艾扬格著
机械工业出版社 2020.08
(0) 馆藏 -
中文图书3.最优控制理论讲义 O232/H479
馆藏复本:2
可借复本:2 黄琳编著
科学出版社 2021.03
(0) 馆藏 -
中文图书4.数学所讲座.2016 O1-49/X549(2016)
馆藏复本:2
可借复本:2 张晓 ... [等] 主编
科学出版社 2020.05
(0) 馆藏 -
中文图书5.优化方法及其程序设计 O224/Z218, 51.912/453
馆藏复本:7
可借复本:7 周承高,廖园编
中国铁道出版社 1989
(0) 馆藏 -
中文图书6.数学之内容方法及意义.二.第4版 51.081/43
馆藏复本:1
可借复本:1 (俄)亚力山大洛夫原著
徐氏基金会 1978
(0) 馆藏 -
中文图书7.数学之内容方法及意义.三.第4版 51.081/411
馆藏复本:1
可借复本:1 (俄)亚力山大洛夫原著
徐氏基金会 1978
(0) 馆藏 -
中文图书8.有限数学系统 51.37081/11
馆藏复本:10
可借复本:10 (英)劳顿(M.S.Norton)著
科学出版社 1981
(0) 馆藏 -
中文图书9.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ,数学机械化 O1-53/W851/2:3
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书10.信号数字处理的数学原理 TN911.7/C662
馆藏复本:3
可借复本:3 程乾生编著
石油工业出版社 1979
(0) 馆藏 -
中文图书11.王者之路:机器证明及其应用 O1-0/W851
馆藏复本:2
可借复本:2 吴文俊主编
湖南科学技术出版社 1999
(0) 馆藏 -
中文图书12.弹性结构的数学理论 O343/F441
馆藏复本:2
可借复本:2 冯康, 石钟慈著
科学出版社 1981
(0) 馆藏 -
中文图书13.最优化原理与方法 O224/L434
馆藏复本:5
可借复本:5 李军编著
华南理工大学出版社 2018
(0) 馆藏 -
中文图书14.非光滑优化.第2版 O189/G911B
馆藏复本:5
可借复本:5 高岩著
科学出版社 2018
(0) 馆藏 -
中文图书15.数学的历史、逻辑和基础资料选辑:非标准分析.Ⅱ 51.04/2243
馆藏复本:2
可借复本:2 中国科学院数学研究所资料室
中国科学院数学研究所资料室 1976.10
(0) 馆藏 -
中文图书16.编程原本 TP311.1/S787
馆藏复本:5
可借复本:5 (美) 亚历山大·斯特潘诺夫, 保罗·麦克琼斯著
人民邮电出版社 2019.08
(0) 馆藏 -
中文图书17.吴文俊全集,数学机械化卷.II,Mathematics mechanization.II O1-53/W851/2:2
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书18.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.Ⅳ,几何定理机器证明的基本原理 O1-53/W851/2:4
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书19.数学的历史、逻辑和基础资料选辑:非标准分析.Ⅱ
馆藏复本:8
可借复本:8 中国科学计算技术研究所九室
中国科学计算技术研究所九室 1978
(0) 馆藏 -
中文图书20.数学所讲座.2010 O1-49/X549
馆藏复本:5
可借复本:5 席南华主编
科学出版社 2012.05
(0) 馆藏
上一页 1 / 3 下一页 到第 页