当前位置：首页 > 名称
大约有6,000项符合查询结果项。（搜索耗时：0.0159秒）
为您推荐： 超高堆石坝枢纽工程施工导截流关键技术研究及应用论文汇 超高堆石坝枢纽工程施工导截流关键技术研究及应用论文汇编 山楂良种及综合高产栽培技术推广应用与 水利水电工程施工质量检验及评定规程标准应用指南 水利水电工程施工安全技术规程应用指南 中国建筑学会建材分会墙体保温材料及应用技术专业委员会
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
MATLAB高级应用 图形及影像处理
清源计算机工作室编著2000 年出版369 页ISBN：7900043160本书系统介绍了利用MATLAB实现工程计算及其运算结果的可视化技术以及可视影像在MATLAB中的数字化处理技术，属于MATLAB的高级应用。本书理论与实际并重，内容丰富，通俗易懂，并附有大量的应用实例，是学习和应用MATL...
-
-
-
-
