形式化框架下置换和查找类算法的组装生成
《形式化框架下置换和查找类算法的组装生成》,作者:石海鹤 著 出版社:科学出版社 ISBN:9787030522139。 算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR，
算法
基因表达式编程算法原理与应用
《基因表达式编程算法原理与应用》,作者:元昌安[等]编著 出版社:科学出版社 ISBN:9787030286987。本书共分14个章节，主要对基因表达式编程算法原理与应用知识作了介绍，具体内容包括生物进化与进化计算、GEP算法基础、GEP的理论分析、GEP遗传操作与行为干预的拓展、GEP与其他算法的融合等。
非结构网格生成：理论、算法和应用
《非结构网格生成：理论、算法和应用》,作者:郑耀；陈建军 出版社:科学出版社 ISBN:9787030472830。网格生成是一类偏微分方程数值求解的前处理步骤，它研究如何将给定的几何区域离散成几何单元的组合。鉴于网格生成对数值模拟的重要性及其自动化方法的复杂性，它逐渐吸引了各领域众多有深厚功底的研究人员的关注，并不断从计算几何和计算机图形学等领域吸取养分，从而已发展成为一个独立的研究领域。
关联数据聚类 : 模型、算法及应用
《关联数据聚类 : 模型、算法及应用》,作者:Bo Long，Zhongfei Zhang，Philip S.Yu著；龙波,刘喜昂译 出版社:科学出版社 ISBN:9787030450937。本书系统地介绍了关系数据挖掘领域中的关系数据聚类的主要研究问题和广泛的重要应用方向。主要内容有集体聚类、异质关联数据聚类、同质关联数据聚类、一般关联数据聚类、多视图关联数据聚类、演化数据聚类的算法模型，算法的
公共服务设施选址：理论、模型、算法与应用
《公共服务设施选址：理论、模型、算法与应用》,作者:万波 出版社:科学出版社 ISBN:9787030489166。在我国当前城镇化背景下，本书基于国家对公共服务均等化要求和居民对公共服务需求的特点，运用选址理论、城市规划理论、人本主义理论、运筹学、系统优化决策理论与方法，对公共服务设施选址模型、算法进行研究，并具体运用于武汉市某区的学校、医院、急救中心等公共服务设施选址实践。本书的研究成果将
支持向量机 : 理论、算法与拓展
《支持向量机 : 理论、算法与拓展》,作者:邓乃扬，田英杰著 出版社:科学出版社 ISBN:9787030250315。本书以分类问题(模式识别、判别分析)和回归问题为背景，介绍支持向量机的基本理论、方法和应用。特别强调对所讨论的问题和处理方法的实质进行直观的解释和说明。
变分不等式问题与算法
《变分不等式问题与算法》,作者:方长杰,陈胜兰 出版社:科学出版社 ISBN:9787030509956。本书内容大部分来源于作者近五年发表的学术研究论文. 本书主要介绍了变分不等式的若干迭代算法、变分不等式与不动点问题、集值变分不等式的投影算法、与集合序列相关的几类变分不等式的投影算法、Hadamard 流形上向量变分不等式与向量优化问题、Hadamard流形上变分不等式的投影算法
基于生物芯片的DNA计算 : 模型、算法及应用
《基于生物芯片的DNA计算 : 模型、算法及应用》,作者:丁永生，李汪根，任立红著 出版社:科学出版社 ISBN:9787030326164。本书面向生物计算的学科前沿，讨论了基于生物芯片的DNA计算模型、算法和应用的若干方面，包括基于生物芯片的DNA计算机的体系结构，DNA计算的运算系统、存储系统、通信机制、数据结构、一些典型的算法设计与实现，以及DNA计算在生物、医学等领域中的应用。
