-
中文图书1.数学模型 O141.4/434
馆藏复本:5
可借复本:1 杨启帆,边馥萍编
浙江大学出版社 1990.5
(0) 馆藏 -
中文图书2.2007年美国大学生数学建模竞赛(MCM)与交叉学科竞赛(ICM)优秀论文集 O141.1/868
馆藏复本:1
可借复本:0 美国COMAP公司著
不详 2007
(0) 馆藏 -
中文图书3.数理逻辑与机器证明 O141/781
馆藏复本:14
可借复本:0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书4.数理逻辑 O141/340
馆藏复本:3
可借复本:0 汪芳庭编著
中国科学技术大学出版社 1990.9
(0) 馆藏 -
中文图书5.面向计算机科学的数理逻辑 O141/781.2
馆藏复本:6
可借复本:0 陆钟万著
北京大学出版社 1983.11
(0) 馆藏 -
中文图书6.测试你的逻辑推理能力 O141/464
馆藏复本:17
可借复本:4 (美)萨默斯(Summmers,G.J.)著
上海科技教育出版社 1999.3
(0) 馆藏 -
中文图书7.可靠性理论 O141.3/425.2
馆藏复本:3
可借复本:0 莫绍揆,王元元著
科学出版社 1987.12
(0) 馆藏 -
中文图书8.数学模型 O141.4/281
馆藏复本:10
可借复本:0 任善强编
重庆大学出版社 1987.7
(0) 馆藏 -
中文图书9.数学建模竞赛赛题简析与论文点评 O141.4/4431
馆藏复本:10
可借复本:1 赫孝良, 戴永红, 周义仓编著
西安交通大学出版社 2002.6
(0) 馆藏 -
中文图书10.递归函数论 O141/420
馆藏复本:1
可借复本:0 培特著;莫绍揆译
科学出版社 1958
(0) 馆藏 -
中文图书11.数理逻辑基础∶V2 O141/442*1
馆藏复本:3
可借复本:0 胡世华,陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书12.数理逻辑与集合论 O141/121
馆藏复本:6
可借复本:0 石纯一,王家等著
清华大学出版社 1990.2
(0) 馆藏 -
中文图书13.数理哲学导论 O141/650
馆藏复本:7
可借复本:0 (英)罗素著;晏成书译
商务印书馆 1982.6
(0) 馆藏 -
中文图书14.数理逻辑与集论 O141/776
馆藏复本:2
可借复本:0 陈颐昌编著
万里书店有限公司 1977.3
(0) 馆藏 -
中文图书15.公理学、元数学与哲学 O141.2/134
馆藏复本:4
可借复本:0 张家龙著
上海人民出版社 1983.3
(0) 馆藏 -
中文图书16.元数学导论∶V1 O141.2/440
馆藏复本:3
可借复本:0 (美)克林著;莫绍揆译
科学出版社 1984.11
(0) 馆藏 -
中文图书17.计算的数学理论 O141.3/120
馆藏复本:10
可借复本:0 (美)马纳著;李玉茜等译
科学出版社 1986.9
(0) 馆藏 -
中文图书18.可计算性理论 O141.3/162
馆藏复本:12
可借复本:0 张鸣华著
清华大学出版社 1984.1
(0) 馆藏 -
中文图书19.算法论 O141.3/425
馆藏复本:30
可借复本:0 莫绍揆著
科学出版社 1982.11
(0) 馆藏 -
中文图书20.静、动态数学模型的实用建模方法 O141.4/428
馆藏复本:3
可借复本:1 黄俊钦著
机械工业出版社 1988.8
(0) 馆藏
上一页 1 / 4 下一页 到第 页