（美）丹尼尔·伯斯坦（D.Burstein），（美）戴维·克莱恩（D.Kline）著；吕传俊，沈明译1998 年出版458 页ISBN：7506315920
（美）卡罗尔·肯尼迪（Carol Kennedy）著；王莹等译2003 年出版191 页ISBN：7563337822
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
（美）格 拉（Glasser，L.A.），（美）多贝尔普尔（Dobberpuhl，W.D.）著；陈天鑫等译1991 年出版344 页ISBN：7030021150
数字城市的理论与实践 第三届中国国际数字城市建设技术研讨会论文集
赖明，阎小培主编2007 年出版763 页ISBN：9787507419214
本书为2007年中国国际数字城市建设技术研讨会大会论文集。全书围绕着中国数字城市的技术开发与管理、发展与规划进行了深入的探讨和论证，展示了我国数字城市建设理论的最高水平与成就。...
宋秀玲主编；杜国华，郭翠锋副主编2014 年出版118 页ISBN：9787122205803
本教材从实际应用出发，以电气控制技术与可编程控制技术为主线，从技能培养、技术应用的角度出发，采用了“任务驱动”教学模式，系统讲解了可编程控制的应用。主要内容包括PLC基本知识、基本指令及应用、步进指令...
（美）赛尔吉欧·弗朗哥（Sergio Franco）著2017 年出版339 页ISBN：9787111581499
本书全面阐述以运算放大器和模拟集成电路为主要器件的电路原理、设计方法和实际应用。详细介绍了运算放大器的基本原理和应用、诸多工程实际问题，最后介绍面向各种应用的电路设计方法。本书作为第4版，更透彻...
（美）约翰·瓦林著2007 年出版284 页ISBN：7302161739
本书从协奏的角度，探索了网络时代的管理特点，认为现代商业需要协奏般的运作，从而实现成为数字时代的商业领袖的目标。
