数理逻辑 : 基本原理与形式演算
《数理逻辑 : 基本原理与形式演算》,作者:李未著 出版社:科学出版社 ISBN:9787030200969。本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。
原理
虚拟城市建设原理与方法
《虚拟城市建设原理与方法》,作者:刘晓艳等编著 出版社:科学出版社 ISBN:7030115945。本书主要介绍虚拟城市系统建设的背景、理论和关键支撑技术，虚拟环境的建模技术和建模数据库的构建技术，以及地理信息数据互操作技术及其实现等内容。
量子化学 : 基本原理和从头计算法. 下册
《量子化学 : 基本原理和从头计算法. 下册》,作者:徐光宪等著 出版社:科学出版社 ISBN:7030006135。本册共分8章，为二次量子化方法、格林函数方法、置换群的和线性变换群的整式表示、李群、李代数、量子散射理论。
GPS测量原理及应用
《GPS测量原理及应用》,作者:张勤，李家权等编著 出版社:科学出版社 ISBN:7030154029。本书介绍了GPS全球卫星导航定位系统的基础知识及其发展，包括系统的组成、与卫星定位相关的坐标和时间参考系统、卫星轨道、卫星信号、定位原理、GPS信号接收机及全球卫星导航定位系统(GNSS)的近期发展动态。
网络安全原理与技术 | Network security principle and technology2版
《网络安全原理与技术 | Network security principle and technology2版》,作者:冯登国，徐静编著 出版社:科学出版社 ISBN:9787030288394。本书主要介绍了一系列安全技术和用于保护计算机网络的安全协议、安全策略。包括基本的术语、概念、方法和技术的介绍；典型的安全协议标准和技术标准的介绍。
集成电路黑白电视机原理与维修
《集成电路黑白电视机原理与维修》,作者:谢玄玄，章庆芳编著 出版社:科学出版社 ISBN:7030005759。本书叙述以集成电路装配的黑白电视机的原理与维修．全书共八章，内容包括集成电路基础知识；电视机集成电路的单元电路；D系列集成电路的内部电路及一些常用集成电路的典型应用；三种常见的整机电路；集成电路电视机的修理特点和方法以及常见故障的逻辑检修方法．书末附有四种集成电路电视机电原理图．
生物化学技术原理及应用 | 5版
《生物化学技术原理及应用 | 5版》,作者:赵永芳主编 出版社:科学出版社 ISBN:9787030438058。本书是在第四版的基础上,结合近几年来科学进展修订而成。全书共分3编,20章:第一编概述蛋白质、核酸等生命大分子物质的制备方法及基本要点;第二编讲解从动物、植物和微生物材料中分离纯化上述物质的常见方法,如离子交换层析、疏水层析、亲和层析、聚焦层析、凝胶过滤、高效液相色谱、沉淀法等;第
