检索到 47 条 主题词=数学理论 的结果
-
中文图书1.基于球极坐标编码方案的量化控制系统设计与稳定性分析 O231/1103
馆藏复本：3
可借复本：3 王建，于家凤著
电子工业出版社 2024
(0) 馆藏 -
中文图书2.可数Sofic群的等距弦性作用的维数 O1/4304
馆藏复本：5
可借复本：5 荣祯著
哈尔滨工业大学出版社 2023
(0) 馆藏 -
中文图书3.最优控制理论讲义 O232/410
馆藏复本：4
可借复本：4 黄琳编著
科学出版社 2021
(0) 馆藏 -
中文图书4.数学的统一性:珍藏版.第2版 O1/7411
馆藏复本：2
可借复本：2 (英) 阿蒂亚著
大连理工大学出版社 2022
(0) 馆藏 -
中文图书5.机器学习的数学理论 TP181/500
馆藏复本：5
可借复本：5 史斌, (美) S. S. 艾扬格著
机械工业出版社 2020
(0) 馆藏 -
中文图书6.《数学原理》的演化:bertrand russell’s manuscripts and notes for the second edition:伯特兰·罗素... O1/4441
馆藏复本：1
可借复本：1 Bernard Linsky
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书7.数学之美.第2版 TP301.6/630/2
馆藏复本：12
可借复本：12 吴军著
人民邮电出版社 2014
(0) 馆藏 -
中文图书8.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/602:V11
馆藏复本：1
可借复本：0 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书9.吴文俊全集,数学机械化.Ⅲ,Mathematics mechanization.Ⅲ O1-53/602:V10
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书10.编程原本 TP311.1/423/3
馆藏复本：2
可借复本：2 (美) 亚历山大·斯特潘诺夫, 保罗·麦克琼斯著
人民邮电出版社 2019
(0) 馆藏 -
中文图书11.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/602:V5
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书12.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/602:V7
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书13.吴文俊全集,数学机械化卷.Ⅰ,Mathematics mechanization.I O1-53/602:V3
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书14.最优化基础理论与方法.第2版 O224/143/2
馆藏复本：3
可借复本：2 王燕军, 梁治安, 崔雪婷编著
复旦大学出版社 2018
(0) 馆藏 -
中文图书15.椭圆模函数理论讲义.第二卷.Second volume O174.54/446
馆藏复本：3
可借复本：3 Felix Klein, Robert Fricke
高等教育出版社 2017
(0) 馆藏 -
中文图书16.多项式理论研究综述 O174.1/3001
馆藏复本：2
可借复本：2 谢彦麟编译
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书17.最优控制 O232/387
馆藏复本：2
可借复本：2 沈智鹏主编
大连海事大学出版社 2013.12
(0) 馆藏 -
中文图书18.医学图像处理中的数学理论与方法 R445/129
馆藏复本：2
可借复本：2 孔德兴[等]著
科学出版社 2014
(0) 馆藏 -
中文图书19.科学学与科技管理的数学原理 G301/894
馆藏复本：1
可借复本：1 谷兴荣著
中国人民大学出版社 2014
(0) 馆藏 -
中文图书20.The mathematical theory of finite element methods.影印本 O241.82/4101
馆藏复本：2
可借复本：2 Susanne C. Brenner, L.Ridgway Scott
世界图书出版公司 2010
(0) 馆藏
