Z规范及其使用方法 【工业技术】

形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...

战后日本财产税改革及其效应 【经济】

本书首先以战后日本土地税制、证券税制、遗产税赠与税等主要税种的改革历程和效果为线索，研究了不同税制改革的历程及其特征，对日本财产税制改革的经济效应进行了实证分析；其次，系统分析了日本房地产评估体系和...

中国机械工业集团年鉴 2015版 【经济】

本书是一本全面介绍中国机械工业集团公司改革与发展的工具书。详细记录集团公司、各子公司的生产经营、科技创新、业务管理、党建及国际业务开拓等相关情况，记录了国机集团上年取得的成绩、获得的荣誉及涌现...

画法几何与机械制图习题集 【工业技术】

本书为高等学校工科类专业基础课用书。主要内容包括：制图基本规定，点线面的投影，曲线与曲面，基本体的投影，组合体的三视图，轴测图，机件常用表达方式，标准件与常用件的表达方式及画法，零件图画法和装配图的画......

透平机械中的流体力学与热力学 第7版 【工业技术】

PPP项目合作治理及其互动机制研究 【经济】

本书运用前沿相关理论，对PPP项目网络组织管理和运行系统研究，构建新概念框架，运用技术手段和分析工具，揭示PPP项目建设、运营的内在规律和具体内涵，围绕PPP模式项目合作治理运行方式、互动机制和合作绩效等核心...

永磁同步电动机变频调速系统及其控制 【工业技术】

针对组成系统的各单元——交流永磁电机、电压型逆变器、基于数字信号处理器DSP的实时控制系统以及相应单元的控制技术——磁场定向矢量控制技术、直接转矩控制技术、空间矢量脉宽调制技术（SVPWM）等进行具体的...

塑料机械设计与选用手册 【工业技术】

全书共15章，包括图表1377个、理论与经验公式590个，既有丰富的实践，又有多年科研实验成果。本书对塑料装备制造业中的几大重点成型设备，如压延、挤出、注塑、中空等机械设备及其机组，从设计到选用，作了较为深刻的...

机械制图习题集 【工业技术】

本书主要内容包括：制图的基本知识与技能，正投影基础，基本立体，立体表面的交线，轴测图，组合体，机件常用的表达方法，标准件和常用件，零用图和装配图等。满足普通高等院校应用型本科机械类专业多学时的制图教学......

汽车档案博览丛书 汽车及其产业链世界 【经济】

本书是一本讲述汽车产业链世界及未来趋势新变化的通俗读本。主要由以下章节组成：车轮驱动的世界，汽车改变工业，汽车改变服务，汽车改变管理，汽车改变交通，资源环境挑战汽车，汽车轻量化，汽车智能化，绿色汽车，......