(前苏联)А.别利亚耶夫著;李德容译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余部洛夫克拉夫特的长、中、短篇小说,包括他儿时的习作、克苏鲁神话体系及其他心理小说和关于文学历史的评论等,集结起来可谓鸿篇...