邢智毅主编；姚丽君，李占英参编2012 年出版222 页ISBN：9787512325838
本书共分14章，包括智能建筑概述、智能建筑信息网络技术、计算机网络技术、建筑设备自动化技术、智能建筑的综合布线系统、智能建筑的通信网络系统、智能建筑设备自动化系统、智能建筑的安全防范系统、火灾报...
曹红斌著2012 年出版177 页ISBN：9787502954529
本书在介绍环境风险评价的基本理论及方法的基础上，结合科研实践重点阐述了环境风险评价理论在食品安全评价、区域健康风险评价及环境标准制定与修订三个方面的应用，引入和提出了与化学物质健康相关的风险评价...
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（苏）索柯洛夫（А.В.Соколов），（苏）谢尔多包里斯基（И.П.Сердобольский）著；金成忠等译1955 年出版52 页ISBN：
蒋先华等编著2003 年出版223 页ISBN：703011633X
本书主要介绍中小学校园网络的规划、组建以及校园网络操作系统的安装、配置、管理、应用等内容。其中第1、2两章，分别介绍了校园计算机网络系统的组成、规划与设计等内容；第3章～8章，以Windows 2000 Server及Lin...
国务院法制办公室政法司道路交通安全法草案工作小组组织编写2003 年出版323 页ISBN：7503645873
本书是对道路交通安全法的理解和应用。
李刚，林凌主编2015 年出版565 页ISBN：9787121251511
本书主要是有关传感器及其接口电路应用的问题及其解答，如传感器的基本知识、各种传统的传感器的工作原理与性能、各种现代智能传感器及其特性、经典的和集成的传感器接口电路以及传感器的应用电路，等等。扎实...
