应用数学：计算机类 【数理化】

本书主要包括计算机方法初步、线性代数初步、数理逻辑初步及数理统计初步知识，适宜于高职高专院校计算机类各专业使用。

线性和非线性系统中过渡历程的数值近似计算法 迭推公式法 【数理化】

计算力学理论与应用 第三届全国计算力学会议论文集 【数理化】

系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法 【数理化】

“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...

随机系统总体最小二乘估计理论及应用 【数理化】

本书主要取材于申请者在该领域所取得的研究成果和进展，主要成果发表在IEEE神经网络、信号处理等汇刊上，数量在20篇以上。全书内容分为三大部分，第一部分介绍随机系统经典参数估计理论；第二部分重点介绍总体最小...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

计算方法与优化技术 方法、程序及其工程应用 【数理化】

计算几何及应用 【数理化】

本书对计算几何各类基本问题作了叙述。着重算法设计及分析，对计算几何的主要问题均有仔细说明，对执行该算法时的时间复杂性及空间复杂性都有详细及严格的分析，还列举了若干重要应用及研究特例。...

时滞随机系统的微分博弈理论及应用 【数理化】

自1965年Rufus·Isaacs出版了第一部微分博弈专著《Differential Games》以来，无论其理论还是应用研究都得到了很大的发展。今天，微分博弈已经广泛应用于生物学、经济学、国际关系、计算机科学和军事战略等诸...

电子计算机在化学中的应用 【数理化】