（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）H·P·洛夫克拉夫特著；竹子等译2018 年出版1016 页ISBN：9787569923322
《死灵之书》是美国著名小说大师H.P.洛夫克拉夫特的小说全集作品，里面收录了70余部洛夫克拉夫特的长、中、短篇小说，包括他儿时的习作、克苏鲁神话体系及其他心理小说和关于文学历史的评论等，集结起来可谓鸿篇...
（英）格雷格·克拉克著2018 年出版188 页ISBN：9787300259192
为什么有些城市成为了国际化的大都市，哪些城市将成为未来的领导者？从古典雅典、罗马到现在的纽约、新加坡，少数城市成为了政治、经济、军事中心，在21世纪，国际化大都市的数量比历史上更多，这反映了经济和政治力.....
（美）彼得·克拉斯（Peter Krass）编；阮开斌，朱中彬译2001 年出版498 页ISBN：7111086430
本书是这些显赫人物袒露他们的思想，讲述他们的经营方法的地方。在这里，他们像循循善诱的老师，讲解着在华尔街这片神奇的土地上，如何在纷繁的诱惑或圈套中把持自己而取得成功。全书涉及投资的方方面面，有讲如何挑...
（美）彼得·克拉斯编，马敏译2008 年出版215 页ISBN：9787810369374
本书汇集了五十多位商界巨头的演讲实录和文章著述，展示了他们各自独特的经营理念和管理秘诀。
（奥地利）W·克拉尼斯特，殷毅主编1989 年出版325 页ISBN：7501105308
暂缺《国际钱币制造者：揭开世界钞票印制的奥秘 图集》简介
（英）温斯利·克拉克森（Wensley Clarkson）著；马向菲译2004 年出版322 页ISBN：7806576274
本书是世界著名球星罗纳尔多的传记，作者为英国资深体育记者，从事足球报道多年。本书资料翔实、情节生动，真实记述了罗纳尔多从一名巴西的贫苦少年一步一步成为当今球王的成长历程。是迄今为止关于罗纳尔多最全...
常书欣著2015 年出版330 页ISBN：9787544363655
这是一部长篇侦探小说，拟出8个分册。主人翁本名余醉，同学依据谐音给他起了个职业化的绰号——余罪，自此“绰号”取代了“本名”。他曾卧底死牢与毒枭大佬正面交锋，也曾深入贼巢与江洋大盗暗地较量，进而成为名闻....
