张广泉著2015 年出版256 页ISBN:9787302411611
鉴于形式化方法对软件工程的重要性, 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成,具体包括...
黄咏编著(贵州民族学院体育学院)2005 年出版148 页ISBN:7541213128
本书是根据人体解剖特点,以提高大众的体质、形态和姿态为主导,培养高雅的气质和风度为目标,从基础理论和实践的结合上阐明了形体练习的基本原理和要求,并从多年教学中对一些塑造健美体形的有效内容进行了收集、...
韩什元,岳中亮,由雷主编2008 年出版261 页ISBN:9787562329589
本书共十二章,包括一元、多元函数的极限与连续性,一元、多元函数的微分学与积分学,无穷数与常微分方程的习题解答。书末还附有自测题和模拟题等。...
(印)高希(Ghosh,P.);徐士良等译2008 年出版482 页ISBN:9787302176435
本书是一本关于使用计算机程序语言C++求解数值问题的书籍,由三个主要内容组成:(1)数学基础(包括一些定理和推论);(2)科学工程中的方法应用;(3)计算机实现。本书从应用的角度来描述数值方法。就像计算机手册......
李景华,雷绍晶,李红等著2008 年出版231 页ISBN:9787224084078
本书以“关注妇女发展,促进两性平等”为宗旨,总结了陕西妇女理论婚姻家庭研究会几年来举办被虐妇女支持小组的经验。全书通过对小组工作的目标、作用和原则、协作者的基本条件,小组工作前期准备和活动过程,活动...
傅强主编2008 年出版590 页ISBN:9787117100724
《药物分析实验方法学》是《药学实验方法学丛书》的一个分册。本书立足于方法学,而且突出实用性,兼顾新颖性,重在增强学生们的动手能力。本书力图强调实用性,主要介绍现版《中国药典》质量控制方法的基本原理、...
王正元著2010 年出版259 页ISBN:9787560535876
本书首先介绍了优化方法的相关概念、函数优化方法和启发式组合优化方法,重点阐述了基于状态转移的组合优化方法,并介绍了使用基于状态转移的组合优化方法研究0/1背包问题、加工排序问题、旅行推销员问题以及武...
胡八一著2013 年出版165 页ISBN:9787121195907
本书从实战的角度,坚持用数据说话,告别理论讲教,推崇实务操作,分享亲历案例,传达实战经验,系统地阐述了如何洞察人力成本,如何计量分析人力成本,企业如何控制人力成本等方面的问题。其中,重点剖析了人力成本......