当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0278秒）
为您推荐： dfm可制造性 制造工艺dfm title plm产品生命周期管理 图解精益制造 复杂制造系统的可重构计划与调度 面向制造及装配的产品设计 国际制造业先进技术译丛 产品管理流程设计与工作标准 人邮普华出品
-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
制造企业的产品数据管理 原理、概念、策略
（德）约琴夫·萧塔纳（Josef Schottner）著；祁国宁译2000 年出版449 页ISBN：7111082427在对产品开发和制造过程中所形成的数据进行有效利用方面，还有很大的潜力可挖。将这些数据在逻辑上相关联，可以组成一个虚拟的产品模型，该模型不但对产品进行了很好的结构化，而且还描述了产品完整的几何和技术方...
-
-
-
学科分类