检索到 62 条 分类号=O1-5 的结果
-
中文图书1.一个数学家的辩白:珍藏版.第2版 O1-53/620/2
馆藏复本：2
可借复本：2 (英) 哈代著
大连理工大学出版社 2022
(0) 馆藏 -
中文图书2.数学之源 O1-53/534
馆藏复本：5
可借复本：5 (美) 大卫·尤金·史密斯著
哈尔滨工业大学出版社 2020
(0) 馆藏 -
中文图书3.任福尧数学论文选 O1-53/235
馆藏复本：2
可借复本：2 任福尧著
复旦大学出版社 2019
(0) 馆藏 -
中文图书4.大哉数学之为用:华罗庚科普著作选集 O1-53/260.3
馆藏复本：2
可借复本：2 华罗庚著
上海教育出版社 2018
(0) 馆藏 -
中文图书5.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/602:V11
馆藏复本：1
可借复本：0 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书6.大哉言数:王元科普著作选集 O1-53/110
馆藏复本：2
可借复本：2 王元著
上海教育出版社 2018
(0) 馆藏 -
中文图书7.一个数学家的辩白 O1-53/620
馆藏复本：2
可借复本：2 (英) 哈代著
大连理工大学出版社 2019
(0) 馆藏 -
中文图书8.拉马努金笔记.第3卷.Part Ⅲ O1-53/262:V2
馆藏复本：1
可借复本：1 Bruce C. Berndt
哈尔滨工业大学出版社 2019
(0) 馆藏 -
中文图书9.拉马努金笔记.第2卷.Part Ⅱ O1-53/262:V3
馆藏复本：1
可借复本：1 Bruce C. Berndt
哈尔滨工业大学出版社 2019
(0) 馆藏 -
中文图书10.拉马努金笔记.第1卷.Part Ⅰ O1-53/262
馆藏复本：1
可借复本：1 Bruce C. Berndt
哈尔滨工业大学出版社 2019
(0) 馆藏 -
中文图书11.吴文俊全集,数学机械化.Ⅲ,Mathematics mechanization.Ⅲ O1-53/602:V10
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书12.哈密尔顿数学论文集.第4卷:几何学、分析学、天文学、概率和有限差分等.Vol. 4:geometry, analysis, astr... O1-53/425
馆藏复本：1
可借复本：1 Brendan Scaife
哈尔滨工业大学出版社 2019
(0) 馆藏 -
中文图书13.吴文俊全集,数学思想卷,Mathematical thoughts O1-53/602:V9
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书14.吴文俊全集,数学史卷,History of mathematics O1-53/602:V4
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书15.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/602:V7
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书16.吴文俊全集,拓扑学卷.Ⅰ,Topology.I O1-53/602:V8
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书17.吴文俊全集,附卷,Attached volume:回忆与纪念 O1-53/453
馆藏复本：1
可借复本：0 李邦河, 高小山, 李文林主编
龙门书局 2019
(0) 馆藏 -
中文图书18.吴文俊全集,博弈论、代数几何、图的平面嵌入卷,Game theory, algebraic geometry, and planar imbedding... O1-53/602:V6
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书19.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/602:V5
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书20.吴文俊全集,数学机械化卷.Ⅰ,Mathematics mechanization.I O1-53/602:V3
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏
