崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
牟永敏著2014 年出版227 页ISBN：9787302368298
第一部分介绍了软件测试基础知识，并对测试用例的设计和测试覆盖分析进行了细致讲解；第二部以软件测试的过程为主线，介绍了单元测试、集成测试、系统测试、验收测试和回归测试过程中相关的测试技术和方法；第三部...
李英康等编著2012 年出版161 页ISBN：9787116077058
本书分上、下两篇。上篇分别针对区域地质调查、矿产地质调查、水文地质调查、煤田地质调查和工程地质勘察的钻孔建立数据库提出了相关技术要求，并就各数据项内容给出了详细说明。下篇介绍了地质钻孔数据的整...
黄鲁成等主编2010 年出版247 页ISBN：9787030292971
本书主要分上下两篇。上篇（理论方法篇）主要内容包括：技术未来分析的由来与发展（未来分析；技术未来分析；面向未来的技术分析）；技术未来分析内涵与特点；技术未来分析主要内容；技术未来分析方法（方法论——思......
（美）郭培宣，FarzinHaque著；汪琛颖，李闰婷译2017 年出版219 页ISBN：9787030507631
此书是一部关于RNA纳米技术的工具书，以章节形式描述相关RNA纳米技术涉及的人工合成、纯化、特征化、RNA纳米原件构建等基本原理和技术要点，旨在为该领域或有兴趣的科研工作者及研究生、本科生提供基本的入门...
米红著2006 年出版606 页ISBN：7801784049
本书针对我国农村社会养老保险体系建设，做了大量调查、统计、分析工作，提出合理化建议，推动农村社会养老保险工作的开展。
交通运输部规划研究院课题组著2017 年出版187 页ISBN：9787114138560
本书共12章，内容包括：总则、市场分析与需求预测、建设规模、项目选址与建设条件、总平面布置方案、交通衔接及组织方案、市政配套方案、信息化方案、建设运营模式、投资估算、经济评价、风险估及防范对策。...
科学学与科技管理方法 科学技术发展原理与管理方法的对应关系研究
谷兴荣著2012 年出版297 页ISBN：9787543883024
本书主要研究科学学原理，即科学技术的体系结构、社会经济功能、发展规律，以及如何将这些理论转化为科学技术管理方法的问题。按科技管理方法分类，每种方法先讨论科学学理论相关的基础原理，再讨论管理方法，一一对...
Giampaolo Zuccheri，Bruno Samori，白春礼主编2014 年出版361 页ISBN：9787030414298
本书分两大部分，第一部分对DNA纳米结构的制备进行了详细阐述，第二部分对采用先进仪器技术对这些纳米结构进行操纵和表征进行了详细介绍。该书是代表国际先进水平的著作。对于纳米技术领域的研究生教学以及科...
