钢件的淬火开裂及防止方法 第2版 【工业技术】

本书介绍了淬火开裂，相关的马氏体的晶体结构特点和切变特征，详细论述了导致钢件淬火裂纹的内部因素和外部条件，阐述了淬火宏观内应力的成因及变化规律，分析了从马氏体的显微开裂到钢件的宏观开裂的形成机理，最后...

马克思主义公正观的逻辑谱系 方法论特点及当代意义研究 【马列毛邓】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

国外最新功能性及改性聚氨酯及其衍生物制造技术专利集 上 【工业技术】

国外最新功能性及改性聚氨酯及其衍生物制造技术专利集 下 【工业技术】

见山集 视觉形象系统设计、徽标设计、招贴设计、产品设计、包装设计及综合设计全案 【艺术】

本书是一本设计类案例集，收集的案例均为近年来的获奖作品，包括视觉形象设计、标志设计、招贴设计、产品与包装设计、综合类设计等多个专业方向。本书可供平面设计、产品设计、包装设计、广告设计等艺术设计领...

实体与功能和爱因斯坦的相对论 【自然科学】

本书基于科学本身的历史发展以及伟大科学家对科学内容所进行的系统性揭示，从不同的逻辑角度考察精确科学的系统结构，并且从这个一般观点出发，发现了到达特定学科如代数、几何、物理和化学的不同的概念性构建形...

欧洲私法的原则、定义与示范规则 欧洲示范民法典草案 全译本 第9卷、第10卷 【政治法律】

本书是欧洲民法典研究组和欧盟现行私法研究组合作研究的成果。近250多位不同年代的专家就欧洲私法重要领域的原则、定义和示范规则均展开了深入的探讨。全书共分十卷：一般规定（第一卷）、合同及其他法律行为（第...

财务管理：原则与应用 【经济】

堤防工程施工质量评定与验收监理实例 【工业技术】

本书以55份有代表性的实例，概括了堤防工程项目的划分、单位工程质量评定、分部工程验收签证、单位工程验收签证书内容，叙述了堤防工程中间产品质量评定方法，工程计量与资金支付程序，鉴定主要文件内容、验收报告...