（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
周爱民，欧阳晋焱主编2015 年出版196 页ISBN：9787517036838
本书结合当前国内环境艺术模型塑的主要理论和实践，讲授模型的范围、对象与特征，探寻认知、设计发展规律，培养学生手工制作能力及先进设备的操作能力。本书适用于环境设计专业的师生作为教材，也可供有兴趣的读者...
白振华著2009 年出版113 页ISBN：9787111245483
本书包括轧制温度，实用变形抗力，轧制规程综合优化等知识。
刘乃实著2008 年出版160 页ISBN：9787313052889
本书提出笑话的简式图论模型，开创了研究言语幽默的新途径。基于图论的笑话文本分析模型则深入揭示了幽默理解过程的一般规律，有助于深化语言学层面上对幽默本质的认识。...
张小全，徐德应著2002 年出版206 页ISBN：7504632732
本书介绍了森林生长和产量模型的类型、历史、现状和未来发展趋势，以及森林生长和产量的生理生态模拟的理论和方法，同时还对杉木人工林生长和产量的生理生态模拟的个例研究作了介绍。...
叶斌，叶猛著2011 年出版159 页ISBN：9787533538248
2010年家居空间设计方案254个，以效果图形式配上相应的原始3dsmax模型。每本书配上4张DVD光盘。
卓志著2007 年出版198 页ISBN：750494355X
本书以寿险与精算理论及寿险公司运作机理为指导，结合国内外相关理论成果，对我国寿险公司资本充足率及其模型进行了研究。
叶斌，叶猛著2007 年出版143 页ISBN：9787533530846
本书精选国广一叶装饰机构最近的酒店设计效果图及其原始3dsmax模型。每种书约选登210个作品，4张配套光盘。
（美）罗斯著；龚光鲁译2011 年出版589 页ISBN：9787115250315
本书主要内容有随机变量、条件概率及条件期望、离散及连续马尔可夫链、指数分布、泊松过程、布朗运动及平稳过程、更新理论及排队论等；也包括了随机过程在各领域中的应用。本书有约700道习题，其中带星号的习...
