古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
胡月明，张俊平，薛月菊编著2012 年出版209 页ISBN：9787030355669
本书从土地资源评价数据库建立、评价指标体系确定及指标权值制定、样本容量的计算、土地质量等级评定入手，系统地研究了数据挖掘技术在土地资源评价各主要环节中的应用。全书详细地对土地资源评价方法进行了...
工程信号处理新方法探索 最优频率匹配法和模式滤波法研究与应用
吕苗荣，古德生著2014 年出版222 页ISBN：9787313113979
本书以工程声振信号为研究对象，根据信号自身的周期特点提出了信号的基元分段方法，阐述了用于确定信号真实频率、振幅、相位组合的最优频率匹配法，结合众多案例详细描述了使用该方法进行信号特征提取的单信道多...
王振全著2015 年出版154 页ISBN：9787511431219
本书分为两部分共八章，总结和归纳本研究研究的主要结论和成果。第一部分介绍相关的理论研究内容，提出和解释了“能源消费的环境-经济评价”的基本概念或思路，并介绍了“内涵能源消费强度”和“内涵二氧化碳排...
（阿根廷）DIEGO TORRES MILANO著；李江译；51TESTING软件测试网审校2016 年出版241 页ISBN：7115417084
