几何定理机器证明的基本原理 : 初等几何部分
《几何定理机器证明的基本原理 : 初等几何部分》,作者:吴文俊著 出版社:科学出版社 ISBN:9787030283771。本书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilben机械化定理，第4、5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理，第6章阐述各种几何的机械化定理。
原理
颈椎外科前路可控前移融合技术：原理与应用
《颈椎外科前路可控前移融合技术：原理与应用》,作者:史建刚 编著 出版社:科学出版社 ISBN:9787030651280。随着生活方式和节奏的改变，患者对生活质量的要求逐渐提高，颈椎疾病的外科治疗面临着新的挑战。尤其对于颈椎后纵韧带骨化症（ossification of the posterior longitudinal ligament，OPLL），以及伴有多节段椎管狭窄的脊髓型颈椎病（ce
人工海水基本原理与应用
《人工海水基本原理与应用》,作者:孙恢礼 出版社:科学出版社 ISBN:7030056566。本书以海洋科学的观点，介绍了人工海水的化学组成、制备方法和常用配方；讨论了人工海水的若干重要理化性质及其理化因子的测定方法。重点介绍了人工海水在科学研究和应用上的新进展，以及国内外一些较好的用于养殖海洋生物的人工海水制剂。本书还编录了一些与制备和使用人工海水有关的参数和常数表。
创造学原理和方法 : 广义创造学
《创造学原理和方法 : 广义创造学》,作者:甘自恒编著 出版社:科学出版社 ISBN:703011065X。探讨创造学理论体系的基本概念和要素，阐述创造性活动、创造性主体、创造性人格、创造性思维等的原理和规律，讲解理论创新、制度创新、科学发现、技术发明等具体创造活动的方法。
计算机组成原理试题解析（第六版）
《计算机组成原理试题解析（第六版）》,作者:白中英,戴志涛 主编 出版社:科学出版社 ISBN:9787030640017。本书是《计算机组成原理》（第六版·立体化教材）的配套教材，提供了“计算机组成原理”课程的典型题解800余题，分为选择、填空、计算、证明、分析、设计六种类型，以及硕士研究生入学考试辅导。所选习题少而精，具有概念性、思考性、启发性，并给出参考答案。
基础生物化学实验原理与方法
《基础生物化学实验原理与方法》,作者:朱利泉 主编 出版社:科学出版社 ISBN:9787030652201。本书内容包括基础生物化学实验原理、基本生物大分子(蛋白质、酶及维生素、核酸、糖类和脂类)相关实验、核酸表达实验和电子生物化学实验，这些内容既可以使读者了解生物化学实验的前沿性、整体性和逻辑性，也有助于读者从本书有限的知识出发，去挖掘和获得无限的知识。同时书后还附有生物化学实验室基
聚苯并恶嗪—原理·性能·应用
《聚苯并恶嗪—原理·性能·应用》,作者:顾宜等著 出版社:科学出版社 ISBN:9787030624222。《聚苯并恶嗪—原理·性能·应用》为“高性能高分子材料丛书”之一。《聚苯并恶嗪—原理·性能·应用》共9章，主要围绕聚苯并嗪相关的化学反应、结构与性能关系及高性能化的改性方法而展开。首先概述苯并嗪的结构、分类和命名以及聚苯并嗪的发展历史和性能特点，然后分章节分别介绍苯并嗪的合成反应、
