曹红斌著2012 年出版177 页ISBN：9787502954529
本书在介绍环境风险评价的基本理论及方法的基础上，结合科研实践重点阐述了环境风险评价理论在食品安全评价、区域健康风险评价及环境标准制定与修订三个方面的应用，引入和提出了与化学物质健康相关的风险评价...
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（苏）索柯洛夫（А.В.Соколов），（苏）谢尔多包里斯基（И.П.Сердобольский）著；金成忠等译1955 年出版52 页ISBN：
杜凌志主编；任利军等编著2003 年出版411 页ISBN：711803049X
本书内容包括基础知识，操作系统，计算机网络基本概念，局域网应用技术，Internet基础，网络安全，电子商务，网络技术发展等。
靳济芳编著2004 年出版417 页ISBN：7115119597
Visual C++是Microsoft公司出品的可视化编程产品，是深受广大程序开发员欢迎的Windows环境下的强有力的编程工具。本书从实用以及程序开发的角度讲解小波变换的基础理论和编程实现，并展开讨论它在诸多领域中的...
