可信软件与开发方法

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...

资源型城市产业发展规划环境影响评论方法与实践

本书基于鄂尔多斯市主导产业与重点区域发展规划环境影响评价，构建了三基线环境空间评价模型、分析了规划环境影响评价促进资源型城市转变发展模式、优化调整市场发展规模、结构布局等。...

交流与反思 教师培训理论与实践

本书针对“中小学教师国家级培训计划”“幼师国培计划”，总结培训工作经验，促进参训教师间的经验交流，进一步放大培训效益，本书在主题确定、价值挖掘、理念与师德教育创新、培训实践基地建设等方面进行了深入的...

人力资源经理岗位职业技能培训教程

本书分七讲介绍了人力资源经理的岗位认知和工作技能。

中国农村扶贫开发的实践与理论思考 基于云南农村扶贫开发的长期研究

本书基于对云南农村扶贫开发的长期研究，认真分析贫困原因并尝试找到解决办法，通过详细的数据调研，提出了很多切实可行的解决办法。全书分为上中下三篇，共有十五个章节，科学、细致、全面、严谨，为了解和支持农村.....

现代设计理论与方法

本书是介绍现代设计理论与方法的教材，介绍“现代设计”的概念、基本理论和使用技术。

现代调查研究理论与方法

大学英语测试 理论与方法

发展战略的理论与方法

现代设计理论与方法

本书是介绍现代设计理论与方法的教材，介绍“现代设计”的概念、基本理论和使用技术。