张健著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控制系统的结构、设计方法和应用实例。本书内容由浅入深，指令讲解透彻，剖析了许多典型控制电路和实际应用系统，提出了.....
朱月秀主编2003 年出版161 页ISBN：7505388789
本书首先扼要介绍通信的基础知识，然后全面介绍了现代通信系统的组成。重点讲述了卫星通信、光纤通信和移动通信，并对业务通信网（电话网、有线电视网和宽带综合业务数字网）做了全面的阐述。本书的目的是不管读者...
中国少年科学院，中国科普作家协会组编；刘兴良，吕秀齐，张向军等编2003 年出版151 页ISBN：7801547438
李启斌，1936年出生于湖北省宜都。中国科学院国家天文台研究员，曾任中国科学院北京天文台台长、中国天文学会理事长。被中国科普作家协会授予“有突出贡献的科普作家”称号，所著《天体是怎样演化的》获全国第一...
蒋先华等编著2003 年出版223 页ISBN：703011633X
本书主要介绍中小学校园网络的规划、组建以及校园网络操作系统的安装、配置、管理、应用等内容。其中第1、2两章，分别介绍了校园计算机网络系统的组成、规划与设计等内容；第3章～8章，以Windows 2000 Server及Lin...
