韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
王宣政，谢晓燕，赵婧如编著（西安邮电学院计算机学院）2005 年出版198 页ISBN：7560615619
本书为高校计算机网络课程教材。
陈锋仪，库瑞编著（西安邮电学院）2006 年出版320 页ISBN：7310024907
本书根据二年制职业教育的要求，分别介绍了旅行社产品开发，市场营销以及接待、财务、风险、质量和人力资源等方面的管理问题。
杨春杰，王曙光，亢红波编著（西安邮电学院自动化学院）2010 年出版231 页ISBN：9787811249682
现场总线技术对测控系统及仪器产生了重要影响。CAN总线是一种易学易用，开发成本较低的现场总线。本书系统地讲述CAN总线的协议、常用器件及其使用方法，辅以详细的实验指导和设计实例，使读者逐步掌握CAN总线设...
