韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
姜慧敏著2009 年出版191 页ISBN:9787807596189
本书为长篇小说。16岁的艾蜜儿从小与哥哥相依为命,却在自己16岁生日的当天与哥哥失散。 有一天,蜜儿在信箱里发现一封不署名的信,里面是一颗种子,神奇的种子带着蜜儿来到了花之国,蜜儿就此展开了一段异世界的奇...
于平,李玉霞,鞠慧敏著2017 年出版204 页ISBN:9787302484226
本书是初学者自学Paracraft软件的快速教程。全书共8章,以循序渐进的方式详细讲解Paracraft入门基本,Paracraft开发环境,Paracraft创作入门,电路设计与开发,建模设计与开发,电影设计与开发等。内容基本涵盖了Parac...
秦德智,卲慧敏著2014 年出版139 页ISBN:9787502192099
本书是一本儿童科学漫画书。从优化常见的基本形状入手,介绍了许多科学知识,有助于引导孩子开拓创新。
石慧敏著2011 年出版195 页ISBN:9787309084825
本书试图在前人的研究基础上,采用概念整合理论,从共时平面探讨动结式的整合度高低及层级分布,对不同等级的动结式在句法语义属性以及语用等方面表现出的“等级”差异进行详细的描写和分析。...
谷慧敏著2010 年出版326 页ISBN:9787563720224
本书包括旅游危机管理理论研究、旅游与危机、突发性危机对旅游业的冲击、激活旅游市场机制、我国旅游业危机冲击与激活市场的实证研究——以SARS为例、国外针对突发性危机冲击与激活旅游市场的实证研究、我...