（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
王宇晖，廖卫红，王浩等著2015 年出版166 页ISBN：9787517031000
流域水量水质联合模拟预测是流域环境管理领域的研究热点。本书理论部分介绍了流域水量水质联合模拟的基本框架，阐述了流域水循环与点面源伴生过程模拟评价理论与方法，提出了流域模型高维参数分析率定技术；实践...
王玉玲主编；王维宁，狄红月，张洪凤等副主编2015 年出版107 页ISBN：9787543334724
本书包括临床常用中医护理技术操作21项，每项操作都详细的阐述了其概念、达到的预期目标、适应症、禁忌症、操作中的注意事项以及护士进行操作前对需患者进行的告知内容。同时对每项操作的操作步骤进行了细化...
李树雪著2015 年出版197 页ISBN：9787030457318
科学史观是科学史基础理论研究最核心的、也是最基本的内容，对科学史观进行研究可以折射科学史理论研究的发展，而目前没有一本学术著作对科学史观的发生与历史演进进行系统研究，本书正是基于这一背景而写作的。...
英国Eaglemoss出版公司编；新光传媒译2014 年出版74 页ISBN：9787513707824
《发现之旅》这套百科丛书包含神奇的科学、过去的岁月、我们的身体、不同的生物、现代的技术、多彩的艺术、多样的世界，共7大方面，50册。内容涵盖了从历史到自然、从艺术到科学等各个学科门类，内容十分丰富。...
王坚宁等编著2015 年出版310 页ISBN：9787111511441
本书精选了目前实战中最经典、最常用的二十多种技术指标，并将它们分为主图指标、能量指标、趋向指标、反趋向指标、压力支撑指标五类，如K线、均线、成交量、MACD、KDJ、RSI等。通过对这些指标的原理、计算方...
郑申白，冯磊，张荣华编著2015 年出版173 页ISBN：9787122232069
本书结合现代化轧钢车间的生产实际，在介绍自动检测相关技术的基础上，重点结合轧钢工艺，详细介绍轧钢车间自动控制的相关知识和技术，具体内容包括：轧制参数的自动检测技术（轧制压力、厚度、辊缝、凸度、温度和计.....
骆林平，单胜道，王志荣主编2015 年出版174 页ISBN：9787109202818
本书围绕沼液的无害化处理和资源化利用，系统介绍了沼液及其成分和影响因素，沼液膜浓缩，沼液中有害重金属的去除方法，沼液中抗生素、激素的无害化处理技术，沼液灭菌，沼液废水的生物生态处理技术，沼液在种植业和......
刘淼编著2015 年出版242 页ISBN：9787568001847
GIS（地理信息系统）、GPS（全球定位系统）、RS（遥感技术）及其集成技术，是当今高新技术之一，其中GIS在城市规划学科的实际操作中，有很强的应用范围。本书介绍了环境空间数据特征、GPS控制网建立、辅助测量定位手段等......
余存先编著1997 年出版117 页ISBN：780615731X
在第一次工业革命浪潮中，英国人瓦特的发明使世界发生了巨变。蒸汽机变成动力机则使工业革命插上了翅膀，把工业革命推向了高潮。瓦特还是近代科技史上第一位将科学理论与应用融于一体的人。其成功事迹激励着一...
