第二
形式语义学引论（第二版）
《形式语义学引论（第二版）》,作者:周巢尘,詹乃军 著 出版社:科学出版社 ISBN:9787030533838。 本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。
海峡两岸化学工程名词（第二版）
《海峡两岸化学工程名词（第二版）》,作者:海峡两岸化学工程名词工作委员会 编 出版社:科学出版社 ISBN:9787030546630。本书是由海峡两岸化学工程界专家会审的海峡两岸化学工程名词对照本第二版,是在2007年出版的《海峡两岸化学工程名词》 的基础上加以增补修订而成。 共收词约12600余条。
现代工程图学（第二版）（机械类、近机械类专业适用）
《现代工程图学（第二版）（机械类、近机械类专业适用）》,作者:刘苏 主编 出版社:科学出版社 ISBN:9787030545480。本书采用最新的国家标准，根据教育部2010年制定的“普通高等院校工程图学课程教学基本要求”，在2010年由科学出版社出版的《现代工程图学教程》的基础上修订编写而成。本书共8章，主要内容包括设计和表达、投影基础、从三维物体到二维图形、从二维图形到三维物体、机件的常用表达
高等代数中的典型问题与方法（第二版）
《高等代数中的典型问题与方法（第二版）》,作者:李志慧,李永明 出版社:科学出版社 ISBN:9787030481016。本书是为正在学习高等代数的读者、正在复习高等代数准备报考研究生的读者，以及从事这方面教学工作的年轻教师编写的. 本书与北京大学数学系几何与代数教研组编写的《高等代数（第三版）》相配套，在编写上也遵循此教材的顺序. 全面、系统地总结和归纳了高等代数中问题的基本类型、每种类型
大学生创新创业教程（第二版）
《大学生创新创业教程（第二版）》,作者:陈奎庆,丁恒龙 主编 出版社:科学出版社 ISBN:9787030537843。 本书共十三章，分为五个单元，以创新创业能力的提升为中心，较为详细地阐述了创新创业的三大要素——商机、资源和团队，帮助创新创业者了解创业计划编制和初创企业申办的内容与流程，完整介绍了创新创业的软环境（法律和政策）和硬环境（平台），并就新创企业运营管理中的财务管理、新产品开发和产
初中信息技术第二册(下)(循环)
《初中信息技术第二册(下)(循环)》,作者:安徽省教育科学研究院 出版社:科学出版社 ISBN:9787030464828。本套信息技术教材结合了当前信息技术的发展，遵循了初中生的年龄特点和认知规律，以培养和提升学生的信息素养为目的，以学科知识体系为线索，以课时为单位，精心编制而成。 本册教材分3章，分别介绍了多媒体作品制作、计算机系统与信息安全、信息技术及其应用等知识。内容丰富、由浅入深，操
大学文科数学（第二版）
《大学文科数学（第二版）》,作者:云南大学数学系 编 出版社:科学出版社 ISBN:9787030545671。 本书定位于普通高等学校文科类相关专业，主旨是让读者体会数学之美和培养一定的数学思维能力. 通过学习较为简单的高等数学知识, 使读者领悟数学的抽象思维能力和逻辑思维能力，以及利用高等数学解决实际问题的能力. 为了让文科学生也爱上数学，首先得让他们明白数学有什么用，数
物理化学实验（第二版）
《物理化学实验（第二版）》,作者:郑新生,王辉宪,王嘉讯 出版社:科学出版社 ISBN:9787030524942。本书依据高等农林院校物理化学实验教学特点，系统介绍了物理化学实验的基本原理和测试方法，着眼于学生的基本理论和基本操作训练，致力于提高学生的综合分析和解决实际问题的能力。全书分为绪论、基本测量原理及技术、实验和附录。实验部分包括二十八个实验，既有传统经典的物理化学实验，又有反映物理化学
数学大辞典（第二版）
《数学大辞典（第二版）》,作者:王元 出版社:科学出版社 ISBN:9787030533364。本书是一部综合性的数学大辞典，涵盖数理逻辑、数学基础、数论、代数学、代数几何、分析学、复分析、常微分方程、动力系统、偏微分方程、泛函分析、组合数学、图论、几何学、拓扑学、微分几何学、概率论、数理统计、计算数学、控制论、信息论、密码学、运筹学等学科，以常用、基础和重要的名词术语为基
