赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
唐文儒主编；曹青，张丹燕，张红等编2014 年出版244 页ISBN：7511254349
本书收录最新社会热点新素材，高考热点主题素材，教你快速运用素材，赢得高分。热点素材最容易使高考作文充满新意，容易获得阅卷老师青睐的作文素材。通过名师讲授素材运用技巧、适用话题，来帮助学生准确掌握素材，.....
沈美莉，陈孟建，郁晓红等编著2010 年出版268 页ISBN：9787111323020
本书从电子商务信息安全技术角度出发，讲授构建和实施安全电子商务系统所必需的基本理论、方法和技术等内容。
史美华，马万，赵岳清，胡亚红等编著2009 年出版154 页ISBN：9787030252630
本书内容包括函数、极限与连续、导数与微分、中值定理、不定积分、定积分、多元函数微分学、二重积分、无穷级数、常微分方程与差分方程等。可作为应用型高校大学本科经济类专业和管理类专业的教材或教学参...
杨宗发主编；魏增宇，赵卫杰，庞心宇副主编2017 年出版412 页ISBN：9787506787642
本书是十三五医药卫生类规划教材之一，根据药物制剂设备教学大纲的基本要求和课程特点编写而成，内容上涵盖常见的固体制剂、半固体制剂、液体制剂、气体制剂和无菌制剂等药物制剂设备工作原理、操作规程和维护...
河北省食品检验研究院编著；王丽霞主编；王红等副主编；王利军等编2015 年出版234 页ISBN：9787502641757
本书主要介绍了食品抽样的基本理论，明确了食品抽样各环节的基本要求和全过程的规范操作，详细阐述了各类食品的抽样方法，通过十个案例分析了抽样过程容易出现的问题，最后介绍了移动电子设备抽样操作规范。本书在...
李慧琴，周泽辉主编；吴中，万丽静副主编；吴浔，赵静湄，秦久红等编2013 年出版328 页ISBN：9787550618053
本书辑录精彩而质优的近10年全国各地中考满分作文，采用厚今薄古的方式选文，按照阅卷得分点进行分类，按照并设置旁批栏目，对满分作文精彩之处进行详细的点拨，同时给学生提供时尚的、经典的语言素材栏目。是一部实...
黄江平主编；占自才，杨静，龚锦红等参编2014 年出版244 页ISBN：9787121231971
本书比较全面地阐述了自动控制的基本理论及应用研究，主要内容有线性系统的数学模型、时域分析法、根轨迹分析法、频域分析法、控制系统校正方法、离散控制系统、非线性控制系统的分析方法，以及关于PID控制器...
余顾红等编著2004 年出版254 页ISBN：781058751X
本书主要介绍了体育与健康的生物科学的理论基础，着重说明锻炼促进健康的原理，反映课程标准中身体健康领域的内容和要求等。
