张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
（苏）索柯洛夫（А.В.Соколов），（苏）谢尔多包里斯基（И.П.Сердобольский）著；金成忠等译1955 年出版52 页ISBN：
杜凌志主编；任利军等编著2003 年出版411 页ISBN：711803049X
本书内容包括基础知识，操作系统，计算机网络基本概念，局域网应用技术，Internet基础，网络安全，电子商务，网络技术发展等。
靳济芳编著2004 年出版417 页ISBN：7115119597
Visual C++是Microsoft公司出品的可视化编程产品，是深受广大程序开发员欢迎的Windows环境下的强有力的编程工具。本书从实用以及程序开发的角度讲解小波变换的基础理论和编程实现，并展开讨论它在诸多领域中的...
周万珍，高鸿斌编著2004 年出版235 页ISBN：7505395068
本书从实际工程应用出发，系统阐述了PLC（可编程序控制器）的工作原理、功能、发展过程，以及PLC控制系统的结构、设计方法和应用实例。本书内容由浅入深，指令讲解透彻，剖析了许多典型控制电路和实际应用系统，提出了.....
