章百家，黄修荣主编2015 年出版378 页ISBN：9787509830420
本书由中国中共党史人物研究会编写，第89卷收入了彭真、赛福鼎·艾则孜、张友渔、武胡景、王维舟、康永和六人的小传。实事求是地回顾了他们的生平事迹，客观地反映了这些老一辈无产阶级革命家的伟大革命精神和...
ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS-89
IVAN PLANDER2222 年出版452 页ISBN：0444883177
陈中，朱代忠编著2015 年出版391 页ISBN：9787302404583
在简要阐述单片机工作原理的基础上，通过大量实例来论述单片机设计方法，涵盖了51单片机设计的大部分内容。
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
