（美）埃德蒙·M.克拉克（
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolv
（英）（M.沃姆斯利）Mark Walmsl
（英）阿 彻（Arch
（美）哈尔弗森（Halvorson，M.）著；汤涌涛译2006 年出版376 页ISBN：7302128677
本书全面介绍VB2005的编程思想和特色，包括如何使用控件创建程序，如何编写条件分支和循环结构、调试及更正程序，如何设计用户界面等内容。...
（美）查尔斯·M.谢尔登（Charl
这部具有启迪性的故事集主要谈论精神上的难题，曾经感动过西方无数读者长达一个世纪的心灵圣经。它以讲故事的方式，对人生、道德、伦理、爱情、商业原则、人际关系、社会责任等方面的智慧都有深刻的揭示，包含人...
（美）爱德华 M.皮特里（
本书详细讲述了国外最先进的粘接技术，包括热焊接技术和溶剂焊接技术以及粘接标准和专业测试技术。
Probability and Statistics-S
J. A. T
（美）刘易斯·M.弗拉斯著2017 年出版174 页ISBN：9787802239401
本书主要介绍了最新的太阳能电池技术，并对太阳能电池的未来发展趋势进行了分析，还介绍了一些太阳能电池行业内的一些发展潜力，以及如何将想法实现的问题，为读者了解太阳能电池的发展现状和未来的发展提供了丰富...
（英）汤普森（Thompson，M.），沃尔什（Walsh，J.N.）著；符 斌，殷欣平译1991 年出版293 页ISBN：7502407995
书名原文:Ahandbookofinductiv
