（美）埃德蒙·<em>M.em>克拉克（ED<em>MUem>ND<em>M.em>CLARKEJR.），（美）ORNAGRU<em>MBem>ERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）（<em>M.em>沃姆斯利）<em>Maem>rk Wal<em>msem>ley著；冯博琴等译1999 年出版215 页ISBN：704007351X
（英）阿 彻（Archer，<em>M.em>），诺兰-伍兹（Nolan- 唐述宗等译注1990 年出版155 页ISBN：7533704657
（美）约翰·<em>M.em>奥提兹（John <em>M.em>Ortiz）著；袁艺译2001 年出版297 页ISBN：750642004X
（美）哈尔弗森（Halvorson，<em>M.em>）著；汤涌涛译2006 年出版376 页ISBN：7302128677
本书全面介绍VB2005的编程思想和特色，包括如何使用控件创建程序，如何编写条件分支和循环结构、调试及更正程序，如何设计用户界面等内容。...
（美）查尔斯·<em>M.em>谢尔登（Charles-<em>M.em> Sheldon）著；王小野译2003 年出版232 页ISBN：7561325061
这部具有启迪性的故事集主要谈论精神上的难题，曾经感动过西方无数读者长达一个世纪的心灵圣经。它以讲故事的方式，对人生、道德、伦理、爱情、商业原则、人际关系、社会责任等方面的智慧都有深刻的揭示，包含人...
（美）爱德华 <em>M.em>皮特里（Eward <em>M.em>Petrie著；孟声等译2005 年出版627 页ISBN：7502562990
本书详细讲述了国外最先进的粘接技术，包括热焊接技术和溶剂焊接技术以及粘接标准和专业测试技术。
Probability and Statistics-Selected Proble<em>msem>
J. A. Tenreiro <em>Maem>chado ; Carla <em>M.em> A. Pinto2014 年出版208 页ISBN：1621550068
（美）刘易斯·<em>M.em>弗拉斯著2017 年出版174 页ISBN：9787802239401
本书主要介绍了最新的太阳能电池技术，并对太阳能电池的未来发展趋势进行了分析，还介绍了一些太阳能电池行业内的一些发展潜力，以及如何将想法实现的问题，为读者了解太阳能电池的发展现状和未来的发展提供了丰富...
（英）汤普森（Tho<em>mpem>son，<em>M.em>），沃尔什（Walsh，J.N.）著；符 斌，殷欣平译1991 年出版293 页ISBN：7502407995
书名原文:Ahandbookofinductivelycoupledplas<em>maem>spectro<em>me</em>try:本书系统地、全面地介绍了这种技术的发展史、基本原理、分析特性、干扰问题、仪器设备、实验技术和操作步骤以及各领域(地质、环境、水文、生物...
