何火娇主编；华晶，殷华，肖志勇副主编2013 年出版217 页ISBN：9787113171971
本书是计算机科学与技术、软件工程等信息专业本科“数字逻辑”课程教材。 全书共分为九章，主要内容有：数字逻辑的基本概念、基本逻辑运算电路、逻辑代数和逻辑函数的化简、组合逻辑电路、触发器、时序逻辑电...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
孔军主编2013 年出版340 页ISBN：9787122144065
本书精选了东风日产保有量较大、具有代表性、技术含量高的车型为内容，精选了11款新阳光N17、11款逍客、08款新奇骏T31、11款新天籁J32（公爵）、06款轩逸、05款颐达和骐达、07款骊威。分别对每种车型的每个系统，...
王慧玲，沈月来主编；陈强编2005 年出版204 页ISBN：7121018055
本书内容为电路综合训练，包含电路综合训练准备知识、电子整机装配与调试、电子整机性能检验和电子整机维修等四篇。第六篇电路综合训练准备知识介绍了装接工具及使用，专用电子仪器仪表的使用，常用元器件的识别...
吴建华，李华编著2009 年出版361 页ISBN：9787111261261
本书重点叙述了传感器的物理原理和基本结构，同时介绍了传感器的工程应用和使用方法，对传感器有较为系统和全面的论述。
