彭飞，龙敏，刘玉玲编著2012 年出版280 页ISBN：9787302284291
数字内容安全是当前信息安全技术的研究热点。本书将从数据加密、信息隐藏以及数字取证等入手介绍目前常用的数字内容安全技术原理与方法，在此基础上对其在文本、图像、视频、音频以及数据库内容的安全技术应...
邢智毅主编；姚丽君，李占英参编2012 年出版222 页ISBN：9787512325838
本书共分14章，包括智能建筑概述、智能建筑信息网络技术、计算机网络技术、建筑设备自动化技术、智能建筑的综合布线系统、智能建筑的通信网络系统、智能建筑设备自动化系统、智能建筑的安全防范系统、火灾报...
曹红斌著2012 年出版177 页ISBN：9787502954529
本书在介绍环境风险评价的基本理论及方法的基础上，结合科研实践重点阐述了环境风险评价理论在食品安全评价、区域健康风险评价及环境标准制定与修订三个方面的应用，引入和提出了与化学物质健康相关的风险评价...
（英）斯蒂芬（Stepfen，H.C.）著；王振钺等译1981 年出版317 页ISBN：14048·3877
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（苏）索柯洛夫（А.В.Соколов），（苏）谢尔多包里斯基（И.П.Сердобольский）著；金成忠等译1955 年出版52 页ISBN：
周万珍，高鸿斌编著2004 年出版235 页ISBN：7505395068
本书从实际工程应用出发，系统阐述了PLC（可编程序控制器）的工作原理、功能、发展过程，以及PLC控制系统的结构、设计方法和应用实例。本书内容由浅入深，指令讲解透彻，剖析了许多典型控制电路和实际应用系统，提出了.....
