（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著2009 年出版609 页ISBN：9787115196576
本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...
潘鹏，王涛，中岛正爱著2013 年出版211 页ISBN：9787302335412
在线混合实验方法是研究工程结构抗震的最有效的实验方法之一。近三十年来，在线混合实验技术发展迅速，但关于在线混合实验技术的论著在国内乃至国际上都比较少。拟出版的这部专著旨在讲述在线混合实验方法的基...
李文华编著2011 年出版306 页ISBN：9787115251244
本书结合实际应用实例，讲解了单片机应用系统的开发过程、设计方法和基本技能。
