韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
成卫,张瑾,李学敏著2005 年出版140 页ISBN:7541621501
本书在大量调查和研究近年来国内外资料的基础上,提出和总结了城市道路交通安全的理论模型与方法。
(美)詹姆斯·奥洛克林(James OLoughlin)著;王珏,王军,许燕红译2006 年出版223 页ISBN:7500658095
本书既是一部传记,同时又是一部商业和心理分析著作。它从独特的角度研究了沃伦·巴菲特的领导才能和行事之道。本书视角广泛,每一项原则都用巴菲特的原理加以充分诠释,从而展示了沃伦·巴菲特与众不同的一面:一...
王军主编2006 年出版224 页ISBN:7030161696
本书以齿轮减速器为主题的一般机械传动装置的设计过程为例,按照课程设计的一般步骤,对课程设计从准备到编写设计计算说明书与准备答辩的全过程,逐一作了具体的阐述。内容包括概述、设计任务、机械传动装置的总...
刘晓龙,黄瑞贤,李世荣,黄淑敏,韩继堂,王军编著2016 年出版201 页ISBN:9787206121722
本书从灵芝栽培历史和现状、灵芝营养成分及药用价值、灵芝生长环境条件、灵芝生产设备和条件、灵芝菌种生产、灵芝人工短段木栽培技术、灵芝仿野生栽培技术、竞争性杂菌和病虫害防治、灵芝采收与加工等方面...
宫东风,王军编著2011 年出版112 页ISBN:9787300147406
考生对于单词绝大多数仅仅停留在认知和识别的层面,而就如何用这些词汇去表达丰富的思想内涵就知之甚少了。可见平时忽视了基础写作词汇的存在,更忽视了基础词汇在写作过程中所起到的重要作用。我们试图通过对...
王军霞编写2011 年出版333 页ISBN:9787500799528
本书是一套为中小学生编写的作文工具书系列。该套书针对中小学生写作过程中素材缺乏、词句不丰富等情况分专册编写了适合他们的作文素材、论点论据论证、好词好句好段等内容,所编内容新、广、精,可以说是远超...