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

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

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

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

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

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

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

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

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

外贸跟单理论与实务 【经济】

本书内容翔实、案例丰富、实用性强、针对性强。不仅可作为全国外贸跟单员培训认证的指定用书,而且还可作为涉外各类考证和各类干部培训国际商务基本知识的参考书，也可作为在岗外贸跟单员案头的工具书，可作为...

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

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

国际贸易理论与实务 【经济】

本教材涵盖国际贸易学中的理论与实务部分，分为理论篇与实务篇，理论部分主要包括：国际贸易基本概念，国际贸易理论学说，国际贸易政策措施，区域经济一体化和世界贸易组织；实务部分包括：国际贸易基本程序和法律规......

寿险风险评估 理论 实务 案例 【经济】

本书是国内首部全面、系统介绍寿险业务风险评估技术的专著，包括风险评估概论、健康风险评估、财务风险评估及案例四部分。本书的特点是，运用丰富的保险理论和医学知识，紧密联系我国寿险业的实际，对寿险业务承保...

教育理论 第11版 【文化科学教育体育】

本书融复习内容与考试内容于一体，不仅有助于考生复习并掌握扎实的基础知识，而且有利于考生把握考试的重点、难点，提高应试能力。其内容的编排与“大纲”的知识系统完全一致，不仅充分体现了“大纲”的知识能力要...