（前苏联）А.别利亚耶夫著；李德容译1996 年出版185 页ISBN：7110040283
本收是前苏联著名的科学幻想小说作家A·别利亚耶夫的代表作之一，原作最初发表于1926年。本书作者通过一个生动而惊险的故事，提出了在医学领域的一个大胆的设想——人体的肢体移植和尸体复活。...
（英）约翰·O.E.克拉克，迈克尔·阿拉比等著，张海译2009 年出版417 页ISBN：9787538859232
现代科学的巨大宏伟的大厦，或许是人类心灵的最伟大的胜利。但是，它的起源、发展和成就的故事却是历史当中人们知道得最少的部分之一，而且我们也很难在一般文献中找到它的踪迹。本书就为读者提供了这样一个了解...
（美）克拉克等著2010 年出版345 页ISBN：9787302224174
本书内容包括：构建和运行JavaFX程序、利用JavaFX可视组件创建用户体验、为用户界面增加光效、反射以及其他特效、用JSON和XML创建RESTful应用程序。...
（美）克拉林格等著；刘万鹏译2010 年出版148 页ISBN：9787506036733
当今世界上数以百计最受尊敬的企业正在使用Wilson Learning公司的“顾问式销售人员”方法论，以赢得和保持在销售领域的领先地位。在这本小册子中，你将学习如何采用顾问式的理念，培养顾问式的技巧，以使销售成为...
（匈）克拉斯诺霍尔卡伊·拉斯洛著；余泽民译2017 年出版375 页ISBN：9787544754781
本小说描述了一个人性的琐碎与生活的无望中构建的地狱。破落的集体农场，乡民间尔虞我诈，互相算计又互相依赖，骗子大行其道，孩子在成人可笑又悲惨的生存状态中被剥夺了生希望，悲惨地死去……人们对于这种盲目与无...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）H·P·洛夫克拉夫特著；竹子等译2018 年出版1016 页ISBN：9787569923322
《死灵之书》是美国著名小说大师H.P.洛夫克拉夫特的小说全集作品，里面收录了70余部洛夫克拉夫特的长、中、短篇小说，包括他儿时的习作、克苏鲁神话体系及其他心理小说和关于文学历史的评论等，集结起来可谓鸿篇...
