2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
2002 年出版162 页ISBN：7301050305
《常用工具软件的使用》分别以最新版本的工具软件为例，向读者详尽地介绍了目前国内外广泛流行的常用工具软件的特点、使用方法、注意事项和操作技巧。全书共分五章，内容包括杀毒工具、图形图像工具、压缩工具...
2002 年出版290 页ISBN：7111100263
高职高专计算机类规划教材:本书内容包括：多媒体技术简介和Authorware5.0的详细介绍、习题及应用举例。
2001 年出版190 页ISBN：7900346058
本书用通俗易懂的语言详细介绍了网络聊天软件——OICQ2000、文件下载工具软件——NetAnts等十五个电脑常用软件的使用方法和技巧。
2002 年出版144 页ISBN：7534226724
本书共分5个章节： 轮式交通工具--汽车/跑车/越野车/赛车/卡车/自行车/摩托车...... 水上交通工具--轮船/战舰/潜艇/货轮/游艇...... 轨道上的交通工具--蒸汽/内燃/电力机车，高速列车/地铁/轻轨.....
