（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）约翰·亚萨拉夫，（美）墨瑞·史密斯著2013 年出版311 页ISBN：9787507427226
心想事成，不仅真有其事，而且有科学根据。新的科学研究已经证实，人的意识，对物质世界有着惊人的作用力。信念、念力、梦想、愿望，真的可以影响事情的变化。我们的大脑结构与身体潜能，都是设计好等着帮助我们实现.....
（美）德维威迪，（美）克拉克著2012 年出版322 页ISBN：9787121154409
本书是一本移动应用开发的安全实用指南，包括特色案例研究，代码示例和最佳做法。如何在最新的智能手机和掌上电脑平台防范漏洞，最大限度地孤立，锁定内部和可移动存储，通过沙箱和签名保证安全，并加密敏感的用户信.....
（美）瑞娜·克拉斯诺著2007 年出版229 页ISBN：7542626124
本书记录了一个犹太家庭的战时生活，折射了1942～1945年大上海的风貌。
（美）琼·格拉夫·克鲁卡斯（JoanGraffClucas）著2009 年出版112 页ISBN：9787500843108
本书对德兰修女的生平事迹做了详尽的叙述。
（美）克拉克（Clark，K.），（美）汉密尔顿（Hamilton，K.）著2003 年出版464 页ISBN：7115112088
本书综合了在现代校园网中设计、利用和部署LAN交换设备及技术的最佳方法。
