形式语义学基础与形式说明 | 2版
《形式语义学基础与形式说明 | 2版》,作者:屈延文编著 出版社:科学出版社 ISBN:9787030262387。本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。
基础
大学计算机基础案例教程 | 2版
《大学计算机基础案例教程 | 2版》,作者:胡维华，吴坚主编 出版社:科学出版社 ISBN:9787030284303。本书内容包括信息与计算机基础、Windows XP操作系统、计算机网络及因特网的应用、字处理软件Word 2003的使用、电子表格软件Excel 2003的使用等。
工程图学基础（近机械类及非机械类）
《工程图学基础（近机械类及非机械类）》,作者:左晓明 出版社:科学出版社 ISBN:9787030511867。本书内容包括制图的基本知识和基本技能、AutoCAD基础知识、投影法基础、立体表面的交线、组合体视图、轴测图、机件的常用表达方法、标准件与常用件、零件图和装配图。
心脏离子通道病 : 从基础到临床
《心脏离子通道病 : 从基础到临床》,作者:吴钢，李卫华，黄鹤主编 出版社:科学出版社 ISBN:9787030293008。本书旨在介绍近期心脏离子通道病的研究成果。基础篇重点介绍了离子通道的主要研究方法——膜片钳技术。临床篇则介绍了临床检测心脏离子通道病的常用手段。
