（美）德维威迪，（美）克拉克著2012 年出版322 页ISBN：9787121154409
本书是一本移动应用开发的安全实用指南，包括特色案例研究，代码示例和最佳做法。如何在最新的智能手机和掌上电脑平台防范漏洞，最大限度地孤立，锁定内部和可移动存储，通过沙箱和签名保证安全，并加密敏感的用户信.....
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）伯内特（Burnett，F.H.）著；郑志江汉译；伊丽达娜维译2007 年出版99 页ISBN：9787228111343
本书讲述了玛丽听说有关秘密花园的事，并那座花园的门紧锁着，钥匙也不知去那里了。10年内，除了那只能够飞过围墙的知更鸟，没有一个人进过那园子。玛丽望着知更鸟，琢磨钥匙在那里。...
（美）克拉克（Clark，K.），（美）汉密尔顿（Hamilton，K.）著2003 年出版464 页ISBN：7115112088
本书综合了在现代校园网中设计、利用和部署LAN交换设备及技术的最佳方法。
