韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
王晓红主编（西安外国语大学英文学院）2004 年出版386 页ISBN：7506262614
本套丛书从功能、情景和行业的角度着眼，内容基本涉及到了社会生活的各个方面，具有广泛、系统、新颖、实用的特点，适合大专院校学生、三资企业人员及出国留学人员使用。...
武汉大学政治与公共管理学院政治理论系编2003 年出版308 页ISBN：7540307242
本书是研究全面建设小康社会思想的学术专著。
