当前位置:首页 > TAG信息列表 > 工具
工具
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
多媒体创作工具Authorware5.0教程
陈方主编2002 年出版290 页ISBN:7111100263高职高专计算机类规划教材:本书内容包括:多媒体技术简介和Authorware5.0的详细介绍、习题及应用举例。
-
电脑常用工具软件即学即用
杨山,芦鹏飞编著2001 年出版190 页ISBN:7900346058本书用通俗易懂的语言详细介绍了网络聊天软件——OICQ2000、文件下载工具软件——NetAnts等十五个电脑常用软件的使用方法和技巧。