当前位置：首页 > 名称
大约有7,000项符合查询结果项。（搜索耗时：0.0370秒）
为您推荐： 交通行业标准汇编 公路工程仪器设备及试验方法卷 化学工业标准汇编 无机化工方法卷 零部件及相关标准汇编 联轴器卷 城市智能交通系统工程设计及案例 石油化工设备及安装工程图册 桩基工程质量的诊断技术 方法 原理及应用实例
-
-
-
-
-
混凝土结构规范 2000年版 中国工程建设标准化协会标准 钢筋混凝土深梁设计规程 CECS39∶92 【工业技术】
中国建筑工业出版社编2000 年出版42 页ISBN：7112041058 -
-
-
混凝土结构规范 2000年版 中国工程建设标准化协会标准 双钢筋混凝土构件设计与施工规程 CECS26∶90 【工业技术】
中国建筑工业出版社编2000 年出版30 页ISBN：7112041058 -
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
