当前位置：首页 > 名称
大约有700项符合查询结果项。（搜索耗时：0.0074秒）
为您推荐： 安徽大学中文系工具书使用法写组著 武汉大学图书馆学系 社会科学参考工具书使用法 press南京大学数学系 高等数学 编写小组 press卢氏县物资志编写小组 press北川县曲艺志编写小组 press青城乡志编写领导小组
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
电脑常用工具软件看图速成
贾斌主编2000 年出版244 页ISBN：7801346890本书全面详细地介绍了目前比较流行的工具软件使用方法。主要内容包括：音频软件、视频软件、看图软件、杀毒软件、文本软件、虚拟光驱软件、压缩软件、翻译软件、磁盘工具软件等，书中内容翔实，实例丰富，图文并茂...
-
-
-
-
-
-
-
学科分类