计算机科学与技术学科前沿丛书 面向主体软件工程 模型、方法学与语言
毛新军编著2015 年出版408 页ISBN：9787302403418
本书以主体理论和技术的具体研究成果为基础，结合作者近年来在该领域的科学研究和工程实践，系统介绍面向主体软件工程的基本概念和思想、软件体系结构、建模语言、分析和设计方法、程序设计及其语言、CASE工具...
刘玉芳，张玮责任编辑；（中国）尚荣华，焦李成，刘芳2019 年出版318 页ISBN：9787560653440
本书对计算智能的诸多基础理论进行了详细介绍和释义，还介绍了神经网络、模糊系统、进化计算的应用范例以及实验结果，将理论与实践紧密联系。第一章对人工智能的萌芽、诞生和发展以及现状和未来进行了简要介绍...
王东明主编；杨路等编著2003 年出版288 页ISBN：7302068399
本书介绍符号计算的基本概念、思想、理论、方法、软件和应用，概述了符号计算的6个主要分支，包括计算机代数、几何定理机器证明的代数方法、计算实代数几何、代数计算在计算机辅助几何设计中的应用、符号微积...
朱水根，龚时霖编著1990 年出版710 页ISBN：753080314X
封面题：朱水根，龚时霖编著。本书分两部分：1、介绍误差分析、方程求根、方程组求解、特征值求法、插值法、数值微分、数值积分和常微分方程初值问题数值解法等基本理论；2、各类型例题240余题及选讲。...
孙瑶，李婷，王定康编2018 年出版185 页ISBN：9787030583666
本书介绍了青年学者在线性代数、多项式代数、差分代数、计算代数几何等领域的部分先进成果，展现了我国符号计算学科的发展动态。我们希望以本书为平台展示课题成果，及符号计算领域前沿进展，从而促进符号计算领...
徐利治著2018 年出版146 页ISBN：9787568511322
本书为徐利治数学科学选讲中的一本，数学家徐利治先生的专著集，《治学方法与数学教育》一共收集了22篇有关专题的文章，这些文章中的“经验之谈”对阅读者提供有关治学方法的启示和帮助。其中有关数学教育的文章...
