数字硬件的形式化验证

韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

计算机软件基础

孟彩霞编著（西安邮电学院计算机系）2003 年出版289 页ISBN：7560612717

无线电基础 上

西安邮电学院原编；邮电院校无线电基础教材选编组审校1962 年出版244 页ISBN：K15045·总1281无334

计算机网络技术导论

王宣政，谢晓燕，赵婧如编著（西安邮电学院计算机学院）2005 年出版198 页ISBN：7560615619

本书为高校计算机网络课程教材。

旅行社管理

陈锋仪，库瑞编著（西安邮电学院）2006 年出版320 页ISBN：7310024907

本书根据二年制职业教育的要求，分别介绍了旅行社产品开发，市场营销以及接待、财务、风险、质量和人力资源等方面的管理问题。

CAN总线技术

杨春杰，王曙光，亢红波编著（西安邮电学院自动化学院）2010 年出版231 页ISBN：9787811249682

现场总线技术对测控系统及仪器产生了重要影响。CAN总线是一种易学易用，开发成本较低的现场总线。本书系统地讲述CAN总线的协议、常用器件及其使用方法，辅以详细的实验指导和设计实例，使读者逐步掌握CAN总线设...

道德经

顾悦译注（西安邮电学院教学督导组）1997 年出版115 页ISBN：7506227878

西方经济学

刘颖等主编（西安邮电学院）2001 年出版446 页ISBN：7801720474

计算机软件基础

孟彩霞主编（西安邮电学院计算机系）1997 年出版245 页ISBN：7111060318

复合价值论

王恒君，孙晓娜著（西安邮电学院）1999 年出版194 页ISBN：7560511112

暂缺《复合价值论》简介