检索到 70 条 分类号=O141 馆藏地=文一密集（批次1）（非可借） 的结果
-
中文图书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.数理逻辑基础∶Ｖ2 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.元数学导论∶Ｖ1 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) 馆藏
