非结构网格生成：理论、算法和应用
《非结构网格生成：理论、算法和应用》,作者:郑耀；陈建军 出版社:科学出版社 ISBN:9787030472830。网格生成是一类偏微分方程数值求解的前处理步骤，它研究如何将给定的几何区域离散成几何单元的组合。鉴于网格生成对数值模拟的重要性及其自动化方法的复杂性，它逐渐吸引了各领域众多有深厚功底的研究人员的关注，并不断从计算几何和计算机图形学等领域吸取养分，从而已发展成为一个独立的研究领域。
算法
基因表达式编程算法原理与应用
《基因表达式编程算法原理与应用》,作者:元昌安[等]编著 出版社:科学出版社 ISBN:9787030286987。本书共分14个章节，主要对基因表达式编程算法原理与应用知识作了介绍，具体内容包括生物进化与进化计算、GEP算法基础、GEP的理论分析、GEP遗传操作与行为干预的拓展、GEP与其他算法的融合等。
变分不等式问题与算法
《变分不等式问题与算法》,作者:方长杰,陈胜兰 出版社:科学出版社 ISBN:9787030509956。本书内容大部分来源于作者近五年发表的学术研究论文. 本书主要介绍了变分不等式的若干迭代算法、变分不等式与不动点问题、集值变分不等式的投影算法、与集合序列相关的几类变分不等式的投影算法、Hadamard 流形上向量变分不等式与向量优化问题、Hadamard流形上变分不等式的投影算法
基于生物芯片的DNA计算 : 模型、算法及应用
《基于生物芯片的DNA计算 : 模型、算法及应用》,作者:丁永生，李汪根，任立红著 出版社:科学出版社 ISBN:9787030326164。本书面向生物计算的学科前沿，讨论了基于生物芯片的DNA计算模型、算法和应用的若干方面，包括基于生物芯片的DNA计算机的体系结构，DNA计算的运算系统、存储系统、通信机制、数据结构、一些典型的算法设计与实现，以及DNA计算在生物、医学等领域中的应用。
形式化框架下置换和查找类算法的组装生成
《形式化框架下置换和查找类算法的组装生成》,作者:石海鹤 著 出版社:科学出版社 ISBN:9787030522139。 算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR，
