形式化方法导论

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

超声速流动中燃烧现象的数值模拟方法及应用

形体训练理论与方法

本书是根据人体解剖特点，以提高大众的体质、形态和姿态为主导，培养高雅的气质和风度为目标，从基础理论和实践的结合上阐明了形体练习的基本原理和要求，并从多年教学中对一些塑造健美体形的有效内容进行了收集、...

高等数学解题方法汇编 第3版

本书共十二章，包括一元、多元函数的极限与连续性，一元、多元函数的微分学与积分学，无穷数与常微分方程的习题解答。书末还附有自测题和模拟题等。...

数值方法 C++描述

本书是一本关于使用计算机程序语言C++求解数值问题的书籍，由三个主要内容组成：（1）数学基础（包括一些定理和推论）；（2）科学工程中的方法应用；（3）计算机实现。本书从应用的角度来描述数值方法。就像计算机手册......

妇女支持小组工作方法

本书以“关注妇女发展，促进两性平等”为宗旨，总结了陕西妇女理论婚姻家庭研究会几年来举办被虐妇女支持小组的经验。全书通过对小组工作的目标、作用和原则、协作者的基本条件，小组工作前期准备和活动过程，活动...

平铰双曲拱桥：模型试验和设计计算方法

药物分析实验方法学

《药物分析实验方法学》是《药学实验方法学丛书》的一个分册。本书立足于方法学，而且突出实用性，兼顾新颖性，重在增强学生们的动手能力。本书力图强调实用性，主要介绍现版《中国药典》质量控制方法的基本原理、...

基于状态转移的组合优化方法

本书首先介绍了优化方法的相关概念、函数优化方法和启发式组合优化方法，重点阐述了基于状态转移的组合优化方法，并介绍了使用基于状态转移的组合优化方法研究0／1背包问题、加工排序问题、旅行推销员问题以及武...

人力成本分析与控制方法

本书从实战的角度，坚持用数据说话，告别理论讲教，推崇实务操作，分享亲历案例，传达实战经验，系统地阐述了如何洞察人力成本，如何计量分析人力成本，企业如何控制人力成本等方面的问题。其中，重点剖析了人力成本......