软件开发的形式化工程方法 【工业技术】

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

建设项目交通影响分析方法 【交通运输】

本书第1章介绍交通影响分析的产生背景、发展历程、目的与意义；第2章和第3章介绍与建设项目交通影响分析相关的基础理论和建设项目交通影响分析调查与方法；第4章主要介绍交通分析方法与模型；第5章介绍设施分析...

佛教汉语训释方法探索 以《小品般若波罗蜜经》为例 【哲学宗教】

本书运用专业方法训释《小品般若波罗蜜经》中的词语和句法等，是专业著作。

动物饲料及产品分析检测方法 【农业科学】

本书介绍了动物饲料样品及产品的各种营养成分分析方法、动物饲料有毒有害物质的检验方法，以及动物消化代谢试验的方法。对于分析、检测每一项目的原理、仪器设备及药品、操作方法及结果计算处理方法进行介绍...

卫生项目评估方法 【医药卫生】

随着国际合作项目的引进和实施，卫生项目评估的理论、方法和实际应用技术不断由国外专家和在国外学成归国的学者引入到国内来，促进了中国卫生项目评估工作的发展，并在卫生领域的政策制定、项目管理、医学教育、...

小学生作文全程点拨 方法篇 【文化科学教育体育】

《方法篇》每一单元由三个板块组成，其中“这样能写好”对典型的作文文体或是作文类型进行了详细讲解，并用通俗易懂的语言阐释写作方法，揭示出写作技巧；“典型来示范”用典型范文来对前面提到的内容进行详细诠释...

数学考研考点精讲方法精练 数学三和数学四 第3版 【数理化】

本书是专门针对考研复习编写的数学教材，内容严格按教育部制订的“数学考研大纲”编写。本书包括数学三和数学四的内容。

软件开发的形式化工程方法：结构化+面向对象+形式化 【其他书籍】

方法：语言学的灵魂 【其他书籍】

本书应用语言学中的具体例子，讨论科学精神、科学的社会意义、科学研究的基本概念、语言学的哲学背景、历史语言学中的方法论问题以及本体论和认识论。本书的最后一编是运用科学的方法进行语言研究的个案，有修...

质量功能配置方法及应用 【经济】

本书结合作者多年来对质量功能配置（QFD）的理论研究成果和实践经验，系统地阐述了QFD的基本理论、方法、关键技术、软件工具与应用案例，主要内容包括质量功能配置的基本方法概述、用户需求的获取与综合、质量屋的...