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