Nanotechnology in advanced electrochemical power sources
S. R. S. Prabaharan ; M. S. Michael2015 年出版362 页ISBN：9814241431
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）Michael Howard，（美）David LeBlanc著；程永敬等译2005 年出版480 页ISBN：7111112105
本书分五部分介绍了应用程序为什么不安全，构建安全系统的意义及如何构建安全系统。
（美）Michael Armstrong-Smith，（美）Darlene Armstrong-Smith著；诸超等译2002 年出版374 页ISBN：7111093739
本书系统介绍了OracleDiscoverer软件的使用方法。主要内容包括：Discoverer的悲剧知识和体系结构，用Discoverer进行数据分析，Discoverer高级工具的应用等。...
（美）艾琳·克莱格（Eileen M. Clegg），（美）苏珊·斯沃茨（Susan Swartz）著；刘洋等译2004 年出版237 页ISBN：7536041314
本书是当代美国作家有关青少年教育的著作，叙说一种非传统的好女孩，她们是用新模式取代旧规矩、有头脑的新女性。这些人都能取得成功，找回自我。...
（美）迈克尔·帕伦蒂（Michael Parenti）著；贾宗谊译2003 年出版123 页ISBN：750116357x
本书对9.11事件的深层次原因和含义做了精辟有力的分析，从历史的角度阐述了怎样才能防止未来的恐怖主义。
（美）钱纳里（Chenery，H.），（以）塞尔昆（Syrquin，M.）著；李新华等译1988 年出版254 页ISBN：7505801260
