模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

环境艺术模型制作 【工业技术】

本书结合当前国内环境艺术模型塑的主要理论和实践，讲授模型的范围、对象与特征，探寻认知、设计发展规律，培养学生手工制作能力及先进设备的操作能力。本书适用于环境设计专业的师生作为教材，也可供有兴趣的读者...

冷连轧机高速生产过程核心工艺数学模型 【工业技术】

本书包括轧制温度，实用变形抗力，轧制规程综合优化等知识。

言语幽默的图论模型 【语言文字】

本书提出笑话的简式图论模型，开创了研究言语幽默的新途径。基于图论的笑话文本分析模型则深入揭示了幽默理解过程的一般规律，有助于深化语言学层面上对幽默本质的认识。...

森林生长和产量生理生态模型 【农业科学】

本书介绍了森林生长和产量模型的类型、历史、现状和未来发展趋势，以及森林生长和产量的生理生态模拟的理论和方法，同时还对杉木人工林生长和产量的生理生态模拟的个例研究作了介绍。...

2011家居空间模型 新古典主义 【工业技术】

2010年家居空间设计方案254个，以效果图形式配上相应的原始3dsmax模型。每本书配上4张DVD光盘。

寿险公司资本充足率及其模型研究 【经济】

本书以寿险与精算理论及寿险公司运作机理为指导，结合国内外相关理论成果，对我国寿险公司资本充足率及其模型进行了研究。

室内设计图像模型 酒店、商业空间 【工业技术】

本书精选国广一叶装饰机构最近的酒店设计效果图及其原始3dsmax模型。每种书约选登210个作品，4张配套光盘。

中文 AutoCAD R14使用手册 三维模型制作 【工业技术】

应用随机过程 概率模型导论 【数理化】

本书主要内容有随机变量、条件概率及条件期望、离散及连续马尔可夫链、指数分布、泊松过程、布朗运动及平稳过程、更新理论及排队论等；也包括了随机过程在各领域中的应用。本书有约700道习题，其中带星号的习...