大约有9,000项符合查询结果项。（搜索耗时：0.0202秒）
为您推荐： 与机器人同行 阿缺中短篇科幻小说选 契诃夫短篇小说选 羊脂球 莫泊桑短篇小说选 我这一辈子 老舍中短篇小说选 一个陌生女人的来信 茨威格中短篇小说选 欧 亨利短篇小说选
-
-
数学与生活 触觉·与数学同行
丘成桐，刘克峰，季理真主编2007 年出版196 页ISBN：7308048020本书收集了丘成桐，杨乐，刘克峰等著名数学家对数学的感悟文章18篇，对青少年了解数学，接近数学，热爱数学有启迪的作用。
-
黑猫 爱伦·坡短篇小说集
（美）埃德加·爱伦·坡（EdgarAllanPoe）；曹明伦译2018 年出版376 页ISBN：9787541151309《黑猫：爱伦·坡短篇小说集》精选了26篇爱伦·坡的代表作，由爱伦·坡作品研究专家曹明伦翻译并选目。本书涵盖其在惊悚小说、推理侦探小说、科幻小说和幽默讽刺小说领域的佳作，包括读者耳熟能详的《莫格街凶杀...
-
与信息时代同行 与创新精神共进 北京信息科技大学信息与通信工程学院大学生科技创新与工程实践论文集
李学华主编2017 年出版265 页ISBN：9787563551064本书是作者及其课题组多年来从事量子保密通信研究的成果积累，并结合国内外研究进展和作者对此领域的相关理解，经过详细归纳和整理而成。该书紧跟量子密码前沿理论研究的发展，对近年来学者关注的最新问题，量子密...
-
-
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
用图形计算器学微积分 图形计算机器与大学数学
俞正光，张静，段耀武等编2008 年出版203 页ISBN：9787302183570本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。
-
控制论 关于动物和机器的控制与传播科学 英文
（美）维纳著2013 年出版212 页ISBN：97875657077041947年10月，维纳写出划时代的著作《控制论》，1948年出版后，立即风行世界。维纳的深刻思想引起了人们的极大重视。它揭示了机器中的通信和控制机能与人的神经、感觉机能的共同规律；为现代科学技术研究提供了崭新...
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......