当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0225秒）
为您推荐： book and 1 in book and 1 book and 1 2 book and 2 1 1 and book and book 1
您是不是要找：
-
大学数学教程 第1卷 第1册 一元函数微积分
龚冬保，武忠祥编2000 年出版185 页ISBN：7560512968本册包括集合及其运算，映射与函数，数列的极限，导数与微分，不定积分，微分中值定理，微分学在函数研究中的应用等内容。
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
-
-
-
4CC和1+1的证明 兼及关于宇宙和生命的思索
敢峰著2011 年出版410 页ISBN：9787511308184本书由两部分组成，一部分是对两个世界数学难题哥德巴赫猜想（“1+1”）和四色定理（“4CC”）的证明，另一部分是作者对宇宙奥秘生命起源和心灵问题进行的思索。...
-
WSP-1平面光栅摄谱仪光谱图 第1套 1200条/毫米光栅一级光谱色散率4.5埃/毫米 第3部分 WSP-1平面光栅摄谱仪光谱图
北京光学仪器厂，湖南冶金地质研究所编1981 年出版62 页ISBN：13031·1203 -
-
