丁玮主编；皮琳琳，申亮副主编2014 年出版141 页ISBN：9787122190819
本书介绍了常用的节能减排方法与统计优化计算方法。全书分为二篇，节能减排技术包括保温保冷技术、燃烧节能技术、余压利用技术、电化学节能技术等企业节能技术，以及钢铁行业节能技术、有色金属节能技术等行业...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
（美）郭培宣，FarzinHaque著；汪琛颖，李闰婷译2017 年出版219 页ISBN：9787030507631
此书是一部关于RNA纳米技术的工具书，以章节形式描述相关RNA纳米技术涉及的人工合成、纯化、特征化、RNA纳米原件构建等基本原理和技术要点，旨在为该领域或有兴趣的科研工作者及研究生、本科生提供基本的入门...
牟永敏著2014 年出版227 页ISBN：9787302368298
第一部分介绍了软件测试基础知识，并对测试用例的设计和测试覆盖分析进行了细致讲解；第二部以软件测试的过程为主线，介绍了单元测试、集成测试、系统测试、验收测试和回归测试过程中相关的测试技术和方法；第三部...
李英康等编著2012 年出版161 页ISBN：9787116077058
本书分上、下两篇。上篇分别针对区域地质调查、矿产地质调查、水文地质调查、煤田地质调查和工程地质勘察的钻孔建立数据库提出了相关技术要求，并就各数据项内容给出了详细说明。下篇介绍了地质钻孔数据的整...
黄鲁成等主编2010 年出版247 页ISBN：9787030292971
本书主要分上下两篇。上篇（理论方法篇）主要内容包括：技术未来分析的由来与发展（未来分析；技术未来分析；面向未来的技术分析）；技术未来分析内涵与特点；技术未来分析主要内容；技术未来分析方法（方法论——思......
