大约有20,000项符合查询结果项。(搜索耗时:0.0951秒)
为您推荐: 基于模型的系统工程 基于mbse的复杂装备系统设计 新一代gnss卫星导航信号质量评估及其matlab实现 rru设计原理与实现 ceph设计原理与实现 基于颗粒阻尼技术的结构振动控制
-
-
-
-
SAT-1数学轻松突破800分 思路与技巧的飞跃 【数理化】
时坚;言中著2017 年出版211 页ISBN:9787300239545全书包括四部分和两个附录。第一部分介绍文字题,主要应对方案是结构分析骨干提取法。第二部分为易错题分析。SAT考试并不难,要求的是速度和细致。第三部分为简单粗暴解题法,主要介绍解题经验。第四部分为数学...
-
氧化铁纳米材料的制备、表征、应用与安全性 【数理化】
唐萌等编著2014 年出版262 页ISBN:9787030411259本书系统介绍了氧化铁纳米材料的生物效应、毒理学及安全性相关解决方案的国内外最新研究成果。内容主要包括:氧化铁纳米材料的应用领域、制造方法、特性与表征、一般毒性、致突变性、代谢动力学、细胞毒理学...
-
高等数学中的若干问题与方法 18 【数理化】
苏化明著2015 年出版218 页ISBN:9787560353692本书主要包含两部分内容,即与高等数学有关的问题和某些解题方法,其中问题部分有与高等数学内容相关的专题讨论,也有对若干数学竞赛试题或数学考研试题的探究或推广;而方法部分是对高等数学中某一类问题从新的视...
-
-
最佳可能的世界 数学与命运 【数理化】
(法)IvarEkeland著;冯国苹,张端智译2012 年出版146 页ISBN:9787030348302从伽利略、惠更斯、笛卡儿、牛顿、莱布尼兹、费马到莫培督到欧拉、拉格朗日、哈密顿、雅可比、庞加莱……从钟摆保持同样的拍子到光线的传播再到台球问题……围绕这些伟大科学家的故事以及生活中熟悉的例子...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
量子理论 爱因斯坦与玻尔关于世界本质的伟大论战 【数理化】
(英)曼吉特·库马尔(Manjit Kumar)著2012 年出版322 页ISBN:9787229044343量子的发现和量子理论的创立与发展,是20世纪科学的最伟大冒险之一。本书终于可以让读者充分了解和掌握量子与量子物理学的关键概念,还可洞悉在其更广泛的情境设置下的科学发展,其结果是具有挑战性和令人着迷的...
