（美）B.L.克拉姆利（B.L.CRUMLEY）著相关电子书下载

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

（美）克拉茨，（美）戈德曼著；张泽灵译2008 年出版456 页ISBN：7509119715

在生活水平日益提高的今天，抗衰老、延长寿命、提高生命质量成为人们关注的热点问题。本书系统介绍抗衰老医学发展的最新进展，从营养的补充、体育锻炼、合理膳食等方面详细介绍了抗衰老的方法。...

（美）克拉克（Clark，J.C.）著；陆文岳译1988 年出版194 页ISBN：7800141357

（美）克拉茨基（Klatzky，R.）著；彭克里译1988 年出版193 页ISBN：703000213Ⅹ

（美）玛丽·希金斯·克拉克（Mary Higgins Clark）著；孙晓莹译2006 年出版254 页ISBN：7538277269

本书是国际最知名惊悚悬疑作家的女性主角系列作品之一。讲述的是经历里离婚的创伤后，律师艾米莉在疗养心情的时候，协助警方破案并从中找回自我的故事。...

（美）克拉特（P.E.Kraght）著；周梦麟译1955 年出版235 页ISBN：

（美）斯图尔特·R.施拉姆（Stuart R.Schram）著；田松年，杨德等译2005 年出版342 页ISBN：730006244X

（美）玛丽·希金斯·克拉克著2006 年出版351 页ISBN：7537133247

马克思主义的百科全书，全世界无产者的“圣经”。1933年德国希特勒政府上台后，《资本论》与马克思的其他光辉著作一道遭到法西斯的疯狂禁毁。...

（美）特恩布尔，（美）利沃德林克，（美）马托泰克著2010 年出版820 页ISBN：9787115236739

本书全面介绍了Linux系统管理的各个方面，包括Linux结构；创建、备份、恢复Linux服务器；使用Linux创建基本的网络服务；创建并实现Linux基本架构和服务，包括邮件、Web、数据库、文件和打印；实现Linux系统安全性等内...

（美）迈克尔·康奈利（Michael Connelly）著；陈萍萍，徐晓东译2007 年出版514 页ISBN：9787802253018

这是“午夜文库”推出的侦探小说之一。