-
西文图书1.Fuzzy computing in data science : applications and challenges / O141/F996
馆藏复本:1
可借复本:1 edited by Sachi Nandan Mohanty, Prasenjit Chatterjee, and Bui Thanh Hung.
John Wiley & Sons, Inc., 2023.
(0) 馆藏 -
西文图书2.Rigor and structure / O141/B955
馆藏复本:1
可借复本:1 Burgess, John P.,
Oxford University Press, 2020.
(0) 馆藏 -
西文图书3.Mathematical Modelling / O141.4/H466
馆藏复本:1
可借复本:1 Heilio, Matti.
Springer, 2016.
(0) 馆藏 -
西文图书4.Mathematical modeling for the MCM/ICM contests : volume 1 = MCM/ICM数学建模竞赛 : 第1卷 / O141.4-44/B426/1
馆藏复本:2
可借复本:2 Belanger, Jay.
高等教育出版社, 2015.
(0) 馆藏 -
西文图书5.A course in mathematical logic / O141/B433
馆藏复本:2
可借复本:2 Bell, J.L.
世界图书出版公司, 2015.
(0) 馆藏 -
西文图书6.The higher infinite : large cardinals in set theory from their beginnings (Second Edition) / O144/K16
馆藏复本:3
可借复本:3 Kanamori, Akihiro.
世界图书出版公司, 2011.
(0) 馆藏 -
西文图书7.Principles of multiscale modeling = 多尺度模型的基本原理 / O141.4/E11
馆藏复本:3
可借复本:3 E, Weinan.
科学出版社, 2012.
(0) 馆藏 -
西文图书8.Lectures on the hyperreals : an introduction to nonstandard analysis = 超实讲义 / O141.41/R639
馆藏复本:3
可借复本:3 Goldblatt, Robert.
世界图书出版公司, 2011.
(0) 馆藏 -
西文图书9.A first course in mathematical modeling = 数学建模 / 4th ed. O141.4/F527(C)
馆藏复本:3
可借复本:3 Frank R. Giordano ... [et al.].
China Machine Press, 2009.
(0) 馆藏 -
西文图书10.Introduction to mathematical logic and resolution principle = 数理逻辑引论与归结原理 / 2nd ed. O141/W246=2
馆藏复本:3
可借复本:3 Wang, Guojun.
Science Press, c2009.
(0) 馆藏 -
西文图书11.Naive set theory = 朴素集合论 / O144/H194(C)
馆藏复本:3
可借复本:3 Halmos, Paul R.
世界图书出版公司, 2008.
(0) 馆藏 -
西文图书12.Algebraic complexity theory = 代数复杂性理论 / O141.3/B956(C)
馆藏复本:3
可借复本:3 Bürgisser, Peter,
科学出版社, 2007.
(0) 馆藏 -
西文图书13.Set theory / O144/J44(C=3REV.)
馆藏复本:3
可借复本:3 Jech, T.
世界图书出版公司, 2007.
(0) 馆藏 -
西文图书14.Principle of universal logics / O141/P957
馆藏复本:3
可借复本:3 Huacan He ... ; translated by Zhangyuan Ji ... [et al.].
Science Press ; c2005.
(0) 馆藏 -
西文图书15.Logic for applications = 应用逻辑 / O141/N451(C=2)
馆藏复本:3
可借复本:3 Nerode, Anil,
China Machine Press, 2006.
(0) 馆藏 -
西文图书16.Mathematics in nature : modeling patterns in the natural world / O141.1/A194
馆藏复本:1
可借复本:0 Adam, John A.
Princeton University Press, c2003.
(0) 馆藏 -
西文图书17.Process algebra and probabilistic methods : performance modeling and verification : joint internatio O141/P963
馆藏复本:1
可借复本:1 PAPM-PROBMIV 2001
Springer, c2001.
(0) 馆藏 -
西文图书18.Constraints in computational logics : theory and applications : international summer school, CCL'99, O141/C758
馆藏复本:1
可借复本:1 CCL'99
Springer, c2001.
(0) 馆藏 -
西文图书19.Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, I O141/F935
馆藏复本:1
可借复本:1 FroCoS 2002
Springer, c2002.
(0) 馆藏 -
西文图书20.A mathematical introduction to logic = 数理逻辑 / 2nd ed. O141/E56=2
馆藏复本:3
可借复本:3 Enderton, Herbert B.
Posts & Telecom Press, 2006.
(0) 馆藏
上一页 1 / 4 下一页 到第 页