系统动熊学：理论·方法与应用

统计学 思想、方法与应用

本书介绍了统计学的基本理论知识和应用，可作为理、工、农、医、经济、管理以及人文社会科学专业以及其他领域的统计学教材，也可以供从事商务活动和经济分析等实际工作的各类人员参考。...

思想政治教育原理与方法基础理论研究

本书为国家教育部的行动计划项目。

饬终 佛教临终关怀思想与方法

本书主要从我国传统文化——佛教文化的思想传统出发，探索现代社会临终关怀问题，主要包括思想背景，死亡研究，慈悲关照，智慧超越，并按正向关怀，反向关怀，自我翔的顺序铺陈。...

系统对象模型指南和参考

计算机系统安全技术与方法

电力系统负荷预报理论与方法

控制系统的计算机辅助设计程序汇编 BASIC语言

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

国民产品的价格模型方法

本书提出了一种计算国民产品理论价格体系的数学模型。