形式化框架下置换和查找类算法的组装生成
《形式化框架下置换和查找类算法的组装生成》,作者:石海鹤 著 出版社:科学出版社 ISBN:9787030522139。 算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR，
算法
关联数据聚类 : 模型、算法及应用
《关联数据聚类 : 模型、算法及应用》,作者:Bo Long，Zhongfei Zhang，Philip S.Yu著；龙波,刘喜昂译 出版社:科学出版社 ISBN:9787030450937。本书系统地介绍了关系数据挖掘领域中的关系数据聚类的主要研究问题和广泛的重要应用方向。主要内容有集体聚类、异质关联数据聚类、同质关联数据聚类、一般关联数据聚类、多视图关联数据聚类、演化数据聚类的算法模型，算法的
基因表达式编程算法原理与应用
《基因表达式编程算法原理与应用》,作者:元昌安[等]编著 出版社:科学出版社 ISBN:9787030286987。本书共分14个章节，主要对基因表达式编程算法原理与应用知识作了介绍，具体内容包括生物进化与进化计算、GEP算法基础、GEP的理论分析、GEP遗传操作与行为干预的拓展、GEP与其他算法的融合等。
非结构网格生成：理论、算法和应用
《非结构网格生成：理论、算法和应用》,作者:郑耀；陈建军 出版社:科学出版社 ISBN:9787030472830。网格生成是一类偏微分方程数值求解的前处理步骤，它研究如何将给定的几何区域离散成几何单元的组合。鉴于网格生成对数值模拟的重要性及其自动化方法的复杂性，它逐渐吸引了各领域众多有深厚功底的研究人员的关注，并不断从计算几何和计算机图形学等领域吸取养分，从而已发展成为一个独立的研究领域。
变分不等式问题与算法
《变分不等式问题与算法》,作者:方长杰,陈胜兰 出版社:科学出版社 ISBN:9787030509956。本书内容大部分来源于作者近五年发表的学术研究论文. 本书主要介绍了变分不等式的若干迭代算法、变分不等式与不动点问题、集值变分不等式的投影算法、与集合序列相关的几类变分不等式的投影算法、Hadamard 流形上向量变分不等式与向量优化问题、Hadamard流形上变分不等式的投影算法
锥优化的基于核函数的内点算法
《锥优化的基于核函数的内点算法》,作者:白延琴著 出版社:科学出版社 ISBN:9787030280268。本书对一种新的内点算法——基于核函数的原始对偶内点算法以及算法的复杂性进行了系统的介绍。首先对锥优化，包括线性规划、二阶锥优化、半正定优化的对偶理论，最优性条件、中心路径进行详细的介绍；其次介绍解线性规划、二阶锥优化和半正定优化的基于核函数的内点算法以及复杂性分析。同时本书也介绍
分形算法与程序设计. Visual C++实现
《分形算法与程序设计. Visual C++实现》,作者:孙博文编著 出版社:科学出版社 ISBN:7030145429。本书共分10章，集中介绍了近年来分形图形学的研究成果，用通俗的语言总结了相应的算法，并配有Visual C++程序设计源代码。
公共服务设施选址：理论、模型、算法与应用
《公共服务设施选址：理论、模型、算法与应用》,作者:万波 出版社:科学出版社 ISBN:9787030489166。在我国当前城镇化背景下，本书基于国家对公共服务均等化要求和居民对公共服务需求的特点，运用选址理论、城市规划理论、人本主义理论、运筹学、系统优化决策理论与方法，对公共服务设施选址模型、算法进行研究，并具体运用于武汉市某区的学校、医院、急救中心等公共服务设施选址实践。本书的研究成果将
