杨东来，张永波，王新春等著2007 年出版249 页ISBN：7116051376
本书是根据地质调查项目成果报告编写而成的。书中主要介绍了在地质建模中如何将计算机应用软件与专业地质相结合的技术与方法。
王志良，程慧慧，娄妍，黄春艳，李鹏译著2016 年出版166 页ISBN：9787550914292
本书主要介绍基于R的概率统计知识。主要包括概率统计和R语言两部分的内容。分章节分别介绍了数据描述，事件的概率，离散时间分布，连续时间分布，多元分布，抽样分布，参数估计，假设检验等。并在每章节中介绍如何利......
胡志强著2012 年出版383 页ISBN：9787502783327
本书作者经过多年研究著成本书，将战争对战法的和作战系统推向新的阶段，这也是自然界和人类社会一切事物螺旋式发展的必然。
（美）Jeffrey M.Yarus，（美）Richard L.Chambers著；穆龙新，陈亮译2000 年出版352 页ISBN：7502131132
潘加宇著2018 年出版268 页ISBN：9787302497820
本书从“利润＝需求－设计”开始，用市场经济的思想讲解软件开发中需求和设计的道理，以及统一建模语言UML 在需求和设计中的应用。
孔屹刚著2013 年出版227 页ISBN：9787121220029
本书对大型风力机特别是兆瓦级水平轴三桨叶风力机的工作原理、基本组成、发展趋势作了概述，对当前风电研究的热点和难点，例如风和风速、风力机载荷计算、风力机主要组成部件建模、电气和液压变桨执行机构设计...
陈超编著2009 年出版380 页ISBN：9787121076596
本书从实用角度出发，以基本技术与100多个典型实例结合的形式，详细介绍了MATLAB 2008R接口编程的方法与技巧。全书共分11章，主要内容包括：MATLAB 2008概述、语言设计基础、数据输入和输出、MATLAB编译器、COM编...
刘杰编著2010 年出版432 页ISBN：9787512402133
本书内容：需求的验证与跟踪、模型的系统测试与设计验证、浮点到定点模型的转换、模型嵌入式C代码的自动生成以及软件/处理器/硬件在环测试。整个过程满足DO-178B航空电子规范，可显著提高工作效率、降低开发成...
