当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0531秒)
为您推荐: 多智能体技术 在协同设计与制造中的应用 偏微分与变分技术在图像分割中的应用研究 多主体的协同共建 多主体协同共建的行动者网络构建研究 快速成型与快速模具制造技术及其应用 雷达天线结构设计与制造技术
-
-
-
医学电子仪器原理与设计 【工业技术】
余学飞主编2000 年出版212 页ISBN:7562315418本书是胡寿松主编的《自动控制原理》的配套用书。各章均由“教学要求”、“习题解答”两部分组成。“教学要求”将各知识点进行归纳和总结。“习题解答”对教材中的习题作了详细解答,并着重从解题思路、解题...
-
-
-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
