卫红春，朱欣娟主编（西安石油大学计算机学院）2008 年出版273 页ISBN：7560612342
本书讲述了信息系统的基本概念、理论、方法和技术，重点介绍了信息系统开发中的领域分析、需求分析、系统设计实现和测试。
杨秋侠著（西安建筑科技大学环境工程学院）2010 年出版166 页ISBN：9787561227411
本书共分8章，主要内容包括：工业企业总体规划，工业场地用地规划，工业企业运输设施规划，“废”料场规划，工业企业动力公用设施规划，工业企业生活居住区用地规划，工业企业总体规划方案综合评价，工业企业总体规......
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
王晓红主编（西安外国语大学英文学院）2004 年出版386 页ISBN：7506262614
本套丛书从功能、情景和行业的角度着眼，内容基本涉及到了社会生活的各个方面，具有广泛、系统、新颖、实用的特点，适合大专院校学生、三资企业人员及出国留学人员使用。...
