形式化框架下置换和查找类算法的组装生成
《形式化框架下置换和查找类算法的组装生成》,作者:石海鹤 著 出版社:科学出版社 ISBN:9787030522139。 算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR，
算法
天基多源遥感信息融合 : 理论、算法与应用系统
《天基多源遥感信息融合 : 理论、算法与应用系统》,作者:张永生等著 出版社:科学出版社 ISBN:703015603X。本书共分十一章，综合介绍天基遥感信息融合技术的进展，全面分析多功能组合式遥感卫星地面接收平台的设计与实现技术，探讨遥感卫星轨道计算的理论和轨道预报的技术方法。
算法+数据结构=程序
《算法+数据结构=程序》,作者:N.沃思 出版社:科学出版社 ISBN:15031602。本书从结构程序设计的观点出发，论述了数据结构和算法结构． 全书共分五章．第一章介绍基本的数据结构．第二章介绍数组与文件的各种分类算法，并对其优缺点进行了比较．第三章讨论递归算法，并仔细论述了回溯算法的设计．第四章讨论动态数据结构，如线性表、树（包括检索树、均衡树、
振荡微分方程的保结构算法II
《振荡微分方程的保结构算法II》,作者:Xinyuan Wu;Kai Liu;Wei Shi 出版社:科学出版社 ISBN:9787030439185。This book describes a variety of highly effective and efficient structure preserving algorithms for second order oscillatory
最优控制问题高效高精度算法（英文版）
《最优控制问题高效高精度算法（英文版）》,作者:陈艳萍，鲁祖亮著 出版社:科学出版社 ISBN:9787030463951。本书主要介绍了几类最优控制问题的高效算法，包括了椭圆最优控制问题、抛物最优控制问题、双曲最优控制问题、四阶最优控制问题等新近热门领域，结合了作者本人在最优控制问题方面的研究成果，并根据作者对有限元方法、变分离散方法、混合有限元方法、有限体积法和谱方法的理解和研究生教学要求，全
系统特征信息提取神经网络与算法
《系统特征信息提取神经网络与算法》,作者:孔祥玉，胡昌华，韩崇昭著 出版社:科学出版社 ISBN:9787030331410。本书主要讨论了矩阵理论相关知识、特征值与奇异值分析、主成分分析及神经网络分析方法、次成分分析及神经网络分析方法、子空间跟踪及神经网络分析方法、总体最小二乘方法、特征提取方法应用等内容。
可证明安全算法与协议
《可证明安全算法与协议》,作者:张华，温巧燕，金正平著 出版社:科学出版社 ISBN:9787030335401。本书共4部分17章，内容包括：数学基础、密码学基础、对称加密、公钥密码、可证明安全加密体制、可证明安全数字签名方案、多重签名与聚合签名等。
Borland C++实用类、算法及类库教程
《Borland C++实用类、算法及类库教程》,作者:不详 出版社:科学出版社 ISBN:7030040414。本书讲述具体算法、代码和优化程序的设计方法，给出了用Borland C++设的大量实用类程序和算法。
关联数据聚类 : 模型、算法及应用
《关联数据聚类 : 模型、算法及应用》,作者:Bo Long，Zhongfei Zhang，Philip S.Yu著；龙波,刘喜昂译 出版社:科学出版社 ISBN:9787030450937。本书系统地介绍了关系数据挖掘领域中的关系数据聚类的主要研究问题和广泛的重要应用方向。主要内容有集体聚类、异质关联数据聚类、同质关联数据聚类、一般关联数据聚类、多视图关联数据聚类、演化数据聚类的算法模型，算法的
