当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0145秒）
为您推荐： 产品研发管理与dfm可制造性设计 dfm可制造性 smt工艺与pcb制造 被展示的文化 当代 可参观性 美国专利审查操作指南 可 性 复杂制造系统的可重构计划与调度
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
设计模式 可复用面向对象软件的基础
（美）Erich Gamma等著；李英军等译2000 年出版254 页ISBN：7111075757这本书结合设计实作例从面向对象的设计中精选出23个设计模式，总结了面向对象设计中最有价值的经验，并且用简洁可复用的形式表达出来。书中分类描述了一组设计良好、表达清楚的软件设计模式，这些模式在实用环境...
-
-
-
-
探究性课题设计 TI图形计算器的应用
唐瑞芬，忻重义主编；华东师范大学数学教育技术中心编2000 年出版190 页ISBN：7561723563本书主要介绍了TI图形计算器的应用，分“常规教学”与“探索活动”两大部分，前者贴近教学，大多可以直接用于教学实践，后者作为课堂教学的延拓，为探索研究性活动提供了各种有意义的课题。 ...
-
-
