何火娇主编;华晶,殷华,肖志勇副主编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
本书重点叙述了传感器的物理原理和基本结构,同时介绍了传感器的工程应用和使用方法,对传感器有较为系统和全面的论述。