当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0238秒）
为您推荐： 最高人民法院审判管理办公室 测绘工程项目管理的方法与实践 大数据背景下的企业管理创新与实践 最高人民法院行政审判庭 最高人民法院刑事审判一至五庭主办 最高人民法院刑事审判一至五庭
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
中国大陆岩石圈地学断面地理信息系统的设计与实现
许惠平，孙运生，周云轩，刘万崧，陈圣波，王磊，刘葵等编著2000 年出版198 页ISBN：7116033602国家自然科学基金资助项目:本书系统介绍了地理信息系统的产生、发展、基本概念、组成及功能；比较和介绍了几种常用的地理信息系统软件；阐述地图投影与变换的基本理论和地理信息系统的数据结构及编码方法，讨论...
-
-
-
-
激活创造的潜能 南京金陵中学研究型课程探索与实践
陆志平主编；江苏省教育厅中小学教学研究室，南京金陵中学编著2000 年出版428 页ISBN：7810475312《激活创造的潜能:南京金陵中学研究型课程探索与实践》内容包括：让知识汇人生命之流、浅析研究型课程的提出与发展、研究型课程：学习方式的革命、研究性学习与创造力培养、必须加强人文素质的培养、给创造性...
-
-
搏击市场的精神动力 南风集团在市场经济条件下开展党建和思想政治工作的探索与实践
张文成主编2000 年出版272 页ISBN：7500064063本书包括五个部分：基础经验篇；典型经验篇；基层经验篇；条例制度篇；工作案例篇。介绍了南风化工集团股份有限公司组建后的四年当中开展党建和思想政治工作的探索与实践。...