有限自动机理论（第四版）
《有限自动机理论（第四版）》,作者:周益民等 编著 出版社:科学出版社 ISBN:9787030697967。形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书简述形式语言基本内容，包括文法的分类、构造方法和语言间运算的封闭性。系统地论述三类有限自动机——有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言和自动机识别语言的角度对语言进行讨论，介绍了文法与等价的自动机之间的转换
第四
计算机组成与设计实验教程（第四版）
《计算机组成与设计实验教程（第四版）》,作者:王炜,何红旗,侯一凡 编著 出版社:科学出版社 ISBN:9787030697042。本书以TEC-8计算机硬件综合实验系统为实验平台，全面介绍了计算机组成原理、数字逻辑与数字系统。全书共7章：第1章详细介绍了TEC-8计算机硬件综合实验系统；第2章和第3章介绍了计算机组成与计算机体系结构实验，其中第2章给出了7个基本实验，第3章给出了4个综合实验；第
席泽宗文集.第四卷，中外科学交流
《席泽宗文集.第四卷，中外科学交流》,作者:席泽宗 著;陈久金 主编 出版社:科学出版社 ISBN:9787030685568。席泽宗院士是我国著名的科学史家，在新星和超新星、夏商周断代、科学思想史等研究领域做出了杰出贡献，是中国科学院自然科学史研究所的创始人之一、我国天文学史学科的引路人。本文集辑为六卷，所选内容基本涵盖了席院士学术研究的各个领域，依次为《科学史综论》《新星和超新星》《科学思想、
保险学原理与实务(第四版)
《保险学原理与实务(第四版)》,作者:戚聿莹,黄玉娟 主编 出版社:科学出版社 ISBN:9787030676887。本书全面讲述了保险学原理及其实务，主要内容包括风险与风险管理，保险概述，保险合同，保险的基本原则，保险费率的厘定，保险公司的经营管理，保险市场与监督管理，财产保险，人身保险，责任保险、信用保险和保证保险，再保险，农业保险，社会保险等。
中国主要经济植物基因组染色体图谱. 第四册. 中国竹类染色体图谱
《中国主要经济植物基因组染色体图谱. 第四册. 中国竹类染色体图谱》,作者:陈瑞阳等著 出版社:科学出版社 ISBN:7030108353。本册收录了我国竹亚科33属185种竹类植物染色体研究资料。其中包括染色体数目、核型公式、臂指数、最长与最短染色体比值、核型不对称系数和染色体相对长度组成等八个方面。
医学微生物学（第四版）
《医学微生物学（第四版）》,作者:戚中田 主编 出版社:科学出版社 ISBN:9787030699107。由戚中田教授主编的《医学微生物学》（第四版）是在第三版教材基础上进行修编的。新版教材由细菌学、病毒学和真菌学三篇组成，传承了“三菌、四体、一病毒”的医学微生物学教学体系。 与第三版教材相比，新版教材新增了“冠状病毒”一章（第三十章），对近年鉴定的SARSCoV2等进行了重点介绍；增加了鼻疽与
空间物理学进展. 第四卷
《空间物理学进展. 第四卷》,作者:叶永烜，刘振兴，史建魁主编 出版社:科学出版社 ISBN:9787030386236。本书内容包括三个部分：第一部分为地球空间包括磁层、电离层和中高层大气方面的新进展；第二部分为太阳表面以及行星际研究方面的新进展；第三部分为火星探测研究的新进展。
无机化学丛书. 第四卷. 氮 磷 砷分族
《无机化学丛书. 第四卷. 氮 磷 砷分族》,作者:项斯芬[等编著] 出版社:科学出版社 ISBN:9787030305480。本书共含三个专题，主要论述第VA族各元素的存在形式、物理和化学性质、有关元素的同位素及备类化合物的性质、用途及合成方法。
