形式化方法导论 【工业技术】

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...

语法教学方法技巧 【语言文字】

《国际汉语教学语法教学方法与技巧》属于“国际汉语教学”丛书，为其中的语法分册。作为一本语法教学参考书，本书既系统地梳理了语法基本知识，又阐述了语法教学的教学原则、教学方法和教学要点，具有“易懂性”“...

项目全面集成管理原理与方法 【经济】

本书是作者承担并完成的国家教育部人文社会科学规划基金课题。全书从全面项目集成管理的问题与概念入手，分八章论述全面项目集成管理的基本原理、基本方法、全过程、全团队、目标四要素、风险要素、全要素等...

企业质量成本管理方法 【经济】

本书从我国企业经营管理实际出发，系统阐述企业质量成本管理方法和降损工作。具体内容涉及质量成本科目的设置、质量成本预测、质量成本预算、质量成本决策、质量成本计划和实施、质量成本核算、质量成本综合...

刑事审判方法 【政治法律】

刑事审判方法是刑事法官在审理和裁断刑事案件过程中使用的方法、手段、技巧的总和。本书自创意之初至稿件形成，历时两年多的艰苦创作，凝聚了最高人民法院和上海市三级人民法院刑事审判业务专家的集体智慧与辛...

民意研究方法举隅 【政治法律】

本书通过民意测验科学地描述与勾画中国民意现状及走向并将民意调查理论和方法中国化的学术专著。书中对民意研究的兴起和发展、民意研究的基本方法和概念等做了较为系统的阐述和概括，同时汇集了作者从事调研...

项目管理思维方法论 【经济】

本书以项目问题与项目逻辑开篇，以讨论思考技术切入，以项目特点作为人们研究、观察“项目世界”的世界观，针对项目管理中的现实问题构建思维方法体系，通过典型性问题分析确立管理思想与核心理念，目的就是促使项目...

运煤输电比较研究理论与方法 【经济】

《运煤输电比较研究》在我国能源资源分布和经济布局的背景下，分别从经济性、可靠性和环境影响等方面，对运煤方案与输电方案进行定性和定量的比较分析，论证运煤和输电的合理经济距离，对我国能源输送方式选择提供...

森林观测仪器技术与方法 【农业科学】

本书重点介绍全站仪、电子经纬仪、测树枪等多种仪器的测树原理及“3S”为核心的森林观测技术、林火防控观测技术，实现对包括单木析树高、胸径、材积、树冠表面积、树冠体积，以及林分的胸高断面积、平均树高、...

全国矿产资源潜力评价成果整合集成建库方法与技术 【经济】