刘红岐，范翔宇，夏宏泉等编著2013 年出版256 页ISBN：9787502194932
本书共有十章内容。第一章主要介绍了岩石力学方面的基础知识，第二章介绍地质录井的相关知识，第三章主要讲述钻井和井眼轨迹设计的一般原则和方法，第四章的主要内容是完井、固井以及射孔和试油的基本工艺流程，包...
（美）史密斯（Smith，S.W.）著；冯登国，徐震，张立武译2006 年出版205 页ISBN：7302131740
本书从可信计算平台需要解决的问题和相关需求出发，以一个实例的研发为主线，对可信计算平台的体系结构、设计和验证等技术进行阐述，并介绍一些最新的发展方向。...
蔡阳主编2012 年出版154 页ISBN：9787508499451
本书是国家防汛抗旱指挥系统技术丛书之一，介绍了应用支撑与数据汇集平台的基本理论、架构设计、功能设计和开发实现方法，展望了国家防汛抗旱指挥系统基础软件系统未来的发展方向。本书内容全面、系统，实用性强...
VERILOG数字系统设计：RTL综合、测试平台与验证 第2版
（美）ZAINALABEDIN NAVABI著2007 年出版274 页ISBN：7121047675
本书主要讲述基于IEEE Std 1364-2001版本的Verilog硬件描述语言，着重讲述了使用Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关注了testbench的设计编写、验证和测试技...
《信息技术应用：WindowsXP平台》编写组编2006 年出版232 页ISBN：7304036451
本书包括计算机基础知识，Windows XP基本操作，Word 2003、Excel 2003、PowerPoint 2003基础。
