随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

地基处理理论与工程技术 【工业技术】

基于作者在地基处理领域长期研究与大量工程实践及监测与检测的心得体会与成果积累，本书分为两部分，第一部分为地基处理理论及方法，第二部分典型工法及实例，系统阐述了作者最新研究成果在内的基基础理论、相关原...

投融资理论与实践 【经济】

本书对投融资理论作了较系统深入的研究。内容主要包括资产组合、资金成本、结构与融资、期权投资、项目融资、实物期权、租赁融资与信托（基金等）、项目融资、资产证券化等等。本书既可作为经济、金融专业硕士...

在事实与规范之间 关于法律和民主法治国的商谈理论 【其他书籍】

临床输血学 理论与实践 【医药卫生】

本敎材侧重于临床输血，编写内容尽量做到与目前临床输血科所应用的内容一致。本敎材分理论、实践与检验三部分，理论部分重点介绍血型的基础知识，同时兼顾抗凝等与输血相关的理论知识；实践部分特别增加了典型案例...

时距分段加工理论与实证 【哲学宗教】

本研究以视时距信息加工为考察对象，旨在探索视觉短时距加工机制的特点。这是基于时间认知分段综合模式进行的一种延伸，创造性地讲分段思想移植至视觉短时距加工机制的探讨。主要内容包括时距加工的理论、时距...

民办学校推进课程改革的实践与探索 【文化科学教育体育】

本书主要侧重于民办学校推进课程改革的问题与对策研究。从民办学校课程实施的主体——教师群体的情况、民办学校课程实施的情况、民办学校产权分析以及小组互助学习等四个维度分别深入探索民办学校推进课程...

高等数学学习指导与习题精解 【数理化】

本书的编者结合多年的教学实践与职业技术院校学生的实际情况，为高等职业技术学院编写的高等数学学习辅导书。内容包括：函数，极限与连续，导数与微分，微分中值定理和导数应用，不定积分与定积分，微分方程，空间解......

纪录片创作 理论、观念与方法 【艺术】

本书分为十一章，包括纪录片的概念与类别、社会属性、政治化与意识形态特征、真实的实践与虚构的意义、纪录片拍摄对象的属性、纪录片摄影的行为机制、纪录片的同期录音及配乐、纪录片的剪辑、汇编（文献）纪录片...

行政立法原理与实务 【政治法律】

本书是一本系统研究行政立法的著作，全书共分为七章：第一章主要是内容概述，对行政立法的概念、沿革和效力进行了总括性的阐释，并且对本书论述的“行政立法”作了范畴上的界定。第二章是关于行政立法的原则，行政立...