当前位置：首页 > 名称
大约有300项符合查询结果项。（搜索耗时：0.0065秒）
为您推荐： 判定 スペースアルク 如何成为学霸 如何成为学霸 提炼学习类书籍精髓 慶応義塾大学日吉キャンパス来往舎シンポジウムスペース 導通ノーマルオ プンとノ ルクロ 英語教育のアルク
-
-
-
如何成为有魅力的女人
陈研著2000 年出版435 页ISBN：7800018458本书汲取国外有关MRPII主要经典著作的精华（其中有一部分是美国生产与库存管理协会-APICS资格考试指定读物），参考多种国内使用的MRPII软件，综合国内10余年实施MRPII系统中的经验教训，说明了成功实施MRPII系统同更...
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
-
学科分类