集论与逻辑 : 面向计算机科学
《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
面向
生态农业原理与实践：引领面向可持续农业的系统转型
《生态农业原理与实践：引领面向可持续农业的系统转型》,作者:（法）A.韦策尔（Alexander Wezel） 主编;王丽丽等 译 出版社:科学出版社 ISBN:9787030683007。本书系统总结了近年来欧美国家生态农业的最新进展。1～4章介绍了欧洲、北美和拉丁美洲生态农业典型案例；5～7章阐述了杂草管理、转基因作物及生物防治在生态农业中的应用；8～9章介绍了如何开展生态农业评价；10～12
面向2050年的资源型城市发展战略研究——以榆林市为例
《面向2050年的资源型城市发展战略研究——以榆林市为例》,作者:张文忠,杨扬,孙威 主编 出版社:科学出版社 ISBN:9787030643315。榆林位于陕北，地处黄土高原和毛乌素沙地的交界处，是一座典型的资源型城市，能源资源富集但生态系统脆弱，经济发展与生态保护的矛盾突出。面向国家提出的到 2050年基本实现现代化的目标，榆林迫切需要转型升级和高质量发展。本书回顾和总结了榆林的发展历史和经验
面向电子拍卖的安全计算技术与协议研究
《面向电子拍卖的安全计算技术与协议研究》,作者:史闻博,王佳琪 著 出版社:科学出版社 ISBN:9787030560650。本书主要讲述面向电子拍卖安全计算研究的安全技术和应用范例，主要内容包括：电子拍卖的概述、数字签名技术在电子拍卖中的应用、加密技术在电子拍卖中的应用、安全多方计算在电子拍卖中的应用以及拍卖中的协议安全分析与证明。
面向复杂系统的群集智能
《面向复杂系统的群集智能》,作者:肖人彬等著 出版社:科学出版社 ISBN:9787030376251。本书从复杂性科学的视角出发，阐述了面向复杂系统的群集智能理论与方法。全书分为8章。第1章综述了群集智能的研究进展并描述了全书的概貌；第2-5章是本书的主要内容，其中，前两章分别探讨群集智能中的优化和广义优化（进化）问题，属于“方法导向研究”；后两章分别探讨群集智能中的分工合作和结
面向精准医疗的多组学研究
《面向精准医疗的多组学研究》,作者:赵杰等 编著 出版社:科学出版社 ISBN:9787030672704。精准医疗是医学发展的客观必然，基于多种组学数据，能够更透彻地理解疾病，更精准地指导疾病诊断与个性化治疗。本书不但对多组学的基础和研究技术进行了阐述，总结了现有临床和科研上的主要成果；也从数据处理的角度出发，详细阐述了各组学的数据处理过程及相关软件，分析总结了现有多组学数据整理利用
面向无人系统的动态进化算法及应用
《面向无人系统的动态进化算法及应用》,作者:彭星光 著 出版社:科学出版社 ISBN:9787030523648。本书面向无人协作系统所涉及的动态优化问题，深入系统地介绍作者在动态进化算法及其应用方面的重要研究进展。全书共9章。首先，简要介绍了动态优化和本书主要内容，并对动态环境中的进化算法进行了概述。其次，针对不同的动态优化问题，分别研究了基于环境辨识记忆策略的分布估计算法、基于粒子滤波的
面向互联网的虚拟计算环境
《面向互联网的虚拟计算环境》,作者:卢锡城等 出版社:科学出版社 ISBN:9787030488657。本书在互联网计算的背景下系统地研究“虚拟化”问题，阐述“按需聚合，自主协同”的互联网资源管理模型和方法，该模型和方法将计算机时代面向静态统一视图的资源组织模式拓展为互联网时代面向动态相对稳定视图的按需可伸缩的资源组织模式，将传统的基于集中控制的资源共享模式转换为自主协同的资源共享
面向生态学数据的贝叶斯统计 : 层次模型、算法和R编程
《面向生态学数据的贝叶斯统计 : 层次模型、算法和R编程》,作者:(美)J. S. 克拉克著；沈泽昊，储诚进，朱锴等译 出版社:科学出版社 ISBN:9787030368522。本书涵盖方法引论与实验分析应用两部分，针对多个时空尺度，介绍了适合生态学数据的统计推断方法和层次模型，涉及经典频率论和贝叶斯统计的模型、算法和具体编程。
面向ATIS的交通行为分析与仿真研究
《面向ATIS的交通行为分析与仿真研究》,作者:戢晓峰,陈方 出版社:科学出版社 ISBN:9787030474476。本书系统阐述了出行信息对驾驶员认知模式及交通行为的影响，并基于驾驶模拟系统对出行信息的作用机理进行试验研究。基于驾驶仿真评估了不同出行信息场景下驾驶员的信息认知负荷，并分析了信息认知对驾驶操作的影响，为ATIS规划及其对交通行为的影响分析提供理论依据。 本书共5章。第1章
