硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
(美)施奈德(Schneider,G.),(美)温特斯(Winters,J.P.)著2003 年出版245 页ISBN:7040135000
本书对这种前沿的软件开发技术提供了清晰、实用的介绍,通过诸多实例和详尽的案例学习,指导读者在软件系统开发中运用实际案例分析方法。此版包括更多复杂的、精确的实例,对各种实际案例文档制作技巧的前置条件...
(美)G.巴德·艾门特劳德(G.BARDERMENTROUT),(美)大卫·H.特曼(DAVIDH.TERMAN)著;吴莹,刘深泉译2018 年出版406 页ISBN:9787040507041
本书应用非线性动力学的方法来解决神经科学中的问题,包括利用现代数学建模方法理解各类试验中出现的神经放电模式。作者采用了多种非常广泛的方法来研究神经元以及神经回路的复杂模型,并结合数值模拟、解析法...
Dictionary of organic compounds volume one A-Bromebric acid A-0-00001—B-0-03701 (sixth edition)
J. I. G. Cadogan1996 年出版924 页ISBN:0412540908
(美)威廉·拉什杰(William Rathje),(美)库伦·默菲(Cullen Murphy)著;周文萍,连惠幸译1999 年出版307 页ISBN:7500424582
从纽约市斯坦顿岛海滨的巨大垃极山开始,作者揭示了垃圾在人类文明发展过程中的诸多奥秘。垃圾是人类存在的万年物证,有如一面文明之镜,忠实地反映了社会变适兴衰和人类的生活风貌。它并不歌颂英雄帝王,而是诉说...
(美)威廉·F.派纳(William F. Pinar)等著;张华等译2003 年出版536 页ISBN:7504123021
本书是继拉尔夫·泰勒《课程与教学的基本原理》之后美国最重要、最详尽的课程论教科书。这是一幅宏伟的历史画卷——论述了美国课程理论近170年的发展(1828—1994);这是一部充满时代气息的巨著——重点论述了...
THE LATEST IN THE NEW YORK TIMES BOSTSELLING SERIES STAR TREK DARK VICTORY
WILLIAM SHATNER,JUDITH REEVES-STEVENS & GARFIELD REEVES-STEVENS1999 年出版305 页ISBN:
对冲基金全球市场盈利模式 当下全球资本市场条件下独具慧眼的投资策略
塞恩·D.卡斯特拉恩,小罗伯特·G.耶曼著2012 年出版288 页ISBN:9787564213657
本书作者讨论了在当今变动不定的市场环境下,进行国际投资的重要性;解析了不同资产类型之间的相互关系;向读者具体展示了股票、债券、货币、房地产、期权、期货等资产类型的投资技巧。本书作者给出了富有洞察力...
数字卫星导航与地球物理学 GNSS信号模拟器与接收机实验室实践指南
伊万·G.彼德罗夫斯基2017 年出版271 页ISBN:9787118110258
本书首先概述了全球卫星导航系统(GNSS)的组成以及其工作原理,并以GPS GLONASS、QZSS和伽利略卫星为例,由表及里论述了GNSS信号的产生、传输、到接收到处理的整个过程;其次在实践指南章节中,作者不仅提出了GNSS信...
飞行器机体结构 NASA在航空航天先进复合材料结构研发中的作用
(美)达雷尔·R.坦尼,小约翰·G.戴维斯,诺曼·J.约翰斯顿,R.拜伦·派普斯,杰克·F.麦圭尔著;陈祥宝译2017 年出版429 页ISBN:9787516512418
本书介绍了NASA在先进复合材料结构发展中的作用,主要对使用纤维增强复合材料的从小型无人驾驶飞机到运载火箭的飞行器的主要结构,复合材料在飞行器结构上的应用比例的变化及发展进行了介绍。适合进行飞行器复...