检索到 98 条 分类号=O14 的结果
-
中文图书1.机器证明的逻辑推定 O141/9
馆藏复本：2
可借复本：2 李娜著
科学出版社 2023
(0) 馆藏 -
中文图书2.超穷数理论基础 O144/5
馆藏复本：2
可借复本：2 (德) 康托著
北京大学出版社 2023
(0) 馆藏 -
中文图书3.蒙特卡洛的密码锁:环环相扣的逻辑谜题 O141-49/1
馆藏复本：2
可借复本：2 (美) 雷蒙德·M. 斯穆里安著
上海科技教育出版社 2024
(0) 馆藏 -
中文图书4.数学建模方法 O141.4/53
馆藏复本：3
可借复本：3 宋月, 韩邦合主编
西安电子科技大学出版社 2023
(0) 馆藏 -
中文图书5.基于特征选择的粗糙集 O144/4
馆藏复本：2
可借复本：2 Muhammad Summair Raza, Usman Qamar
国防工业出版社 2024
(0) 馆藏 -
中文图书6.数学实验与数学建模 O13-33/11
馆藏复本：3
可借复本：3 詹棠森, 方成鸿主编
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书7.逻辑迷宫 O141/8
馆藏复本：3
可借复本：3 (美) 雷蒙德·M. 斯穆里安著
新星出版社 2023
(0) 馆藏 -
中文图书8.MATLAB数学建模方法与实践.第4版 O141.4/52
馆藏复本：2
可借复本：2 卓金武, 萨和雅, 王鸿钧编著
北京航空航天大学出版社 2023
(0) 馆藏 -
中文图书9.数学模型选谈 O141.4/51
馆藏复本：3
可借复本：3 华罗庚, 王元著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书10.中国表示法及其逻辑研究 O141/7
馆藏复本：3
可借复本：3 杜国平著
中国社会科学出版社 2023
(0) 馆藏 -
中文图书11.复杂模型的可靠性评估:验证、确认和不确定度量化的数学与统计基础:validation, and uncertainty quantif... O141.4/50
馆藏复本：3
可借复本：3 验证、确认和不确定性量化数学基础委员会 ... [等] 著
国防工业出版社 2023
(0) 馆藏 -
中文图书12.数学证明是怎样的一项数学活动? O141.2/1
馆藏复本：3
可借复本：3 萧文强著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书13.建模方法与应用 O141.4/49
馆藏复本：3
可借复本：3 主编朴丽莎, 郑英丽
北京理工大学出版社 2024
(0) 馆藏 -
中文图书14.数理逻辑的思想和方法 O141/5
馆藏复本：3
可借复本：3 昂扬编著
上海人民出版社 2024
(0) 馆藏 -
中文图书15.从数学到哲学 O141/6
馆藏复本：2
可借复本：2 (美) 王浩著
广西师范大学出版社 2024
(0) 馆藏 -
中文图书16.集合论及其哲学:批判性导论
馆藏复本：0
可借复本：0 (英) 迈克尔·波特著
科学出版社 2023
(0) 馆藏 -
中文图书17.儿童数学建模的实践探索 O141.4/47
馆藏复本：3
可借复本：3 陈利, 文芳, 徐丹著
电子科技大学出版社 2023
(0) 馆藏 -
中文图书18.流行病学中的数学模型
馆藏复本：0
可借复本：0 (美)弗雷德·布劳尔(Fred Brauer)，(美)卡洛斯·卡斯蒂略－查弗斯(Carlos Castillo-Chavez)，(美)冯芷兰著
科学出版社 2023
(0) 馆藏 -
中文图书19.数学建模:模型案例及代码方案深度解析 O141.4/48
馆藏复本：3
可借复本：3 祁彬彬, 马良著
北京航空航天大学出版社 2023
(0) 馆藏 -
中文图书20.中文版MATLAB 2022数学建模从入门到精通:实战案例版 O141.4/46
馆藏复本：3
可借复本：3 天工在线编著
中国水利水电出版社 2023
(0) 馆藏
