韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
成卫，张瑾，李学敏著2005 年出版140 页ISBN：7541621501
本书在大量调查和研究近年来国内外资料的基础上，提出和总结了城市道路交通安全的理论模型与方法。
王子信，郑志恒主编；付云，孟昭峰副主编；马志芳，王孝成，王瑞杰等编；端木义万主审2010 年出版198 页ISBN：9787305039904
因为《美英报刊阅读教程》题材覆盖面广、文章内容典型、语言质量上乘、知识含量丰富，文章取材于原版美英报刊，语言表达及词汇用法均有一定难度，故编写了这本辅导用书。本书配有光盘课件，帮助读者更好地理解学习...
短信王子主编2013 年出版293 页ISBN：9787802574755
本书是经济日报出版社每年一本的图书项目。作为短信的年度系列图书2013年新短信马上新鲜出炉了。当下短信早已超越了技术功能层面，成为民间语文、流行语文最为常见的一种文本，作为独具“中国式智慧与幽默”的...
欧阳远晃，王子涵，熊晶远主编2018 年出版215 页ISBN：9787564831516
本书在编写过程中，遵循了“体系结构合理，编排条理清晰，文字通俗易懂，内容详略得当，案例丰富实用，版面设计新颖”的基本原则，在借鉴国内外著名院校人力资源管理教材的知识体系和内容结构的基础上，力求做到体系......
王子安主编2010 年出版250 页ISBN：9787530860922
本书介绍了阿尔伯特·亚伯拉罕·迈克尔逊等诺贝尔物理学奖获得者，主要介绍了他们的个人成长经历，研究方向，取得的成果，同时还包含一些物理学相关知识的介绍。...
