经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《杀手的眼泪》读书内容简介:于一个未识亲情、纯白如纸的男孩，在一个被通缉的杀人犯与一个浪荡富家子作家的抚养下，如同一颗种子在岩床上发芽盛开一般，如何在冷冽的贫瘠荒原上成长的故事。罪行、正义、绝望、希望，以及爱与救赎、这部让人不易忘怀的杰出著作颠覆了读者头脑中惯常的、关于英雄和坏...详情

经典好书《谋杀与创造之时》读书内容简介:当代硬汉派侦探小说最杰出的代表。他的小说不仅在美国备受青睐，而且跨越了大西洋，完全征服了自诩为侦探小说故乡的欧洲。侦探小说最重要的两个奖项，爱伦·坡奖的终身成就奖和钻石匕首奖均肯定了劳伦斯的大师地位。他曾三次获爱伦·坡奖，两获马耳他之鹰奖，四获夏姆奖...详情

经典好书《血腥的谋杀》读书内容简介:(1912-1994)在推理文坛上，能囊括美国推理作家协会颁发的“推理大师奖”、英国犯罪作家协会颁发的“钻石匕首奖”，以及瑞典侦探学院颁发的大师奖三个重量级奖项的作家， 只有朱利安•西蒙斯一人。朱利安•西蒙斯出生于英国伦敦...详情

经典好书《莫格街谋杀案》读书内容简介:oe)，所有热爱推理悬疑的读者都对这个不朽的名字耳熟能详；而在文学史上，他也被认为是19世纪美国最伟大的作家之一；他又被称为侦探小说鼻祖、科幻小说先驱、恐怖小说大师、唯美主义者……爱伦·坡的小说，以永恒的死亡为主题，但又不完全等同于浪漫...详情

经典好书《连环罪》读书内容简介:却在车内割腕自杀。紧接着市里接二连三地发生命案，所有的迹象表明他们都是自杀。然而这一切看似巧合，却又让人无法相信。随着调查的深入，欧阳双杰发现他们的生活竟然在25年前出现过重合。究竟这些人在25年前干了些什么? 是复仇还是内心积攒已久的愧疚让他们无法...详情

经典好书《杀禅 第8卷 究极涅盘》读书内容简介:69年香港出生，翻譯系畢業先後涉足新聞翻譯、電腦遊戲開發、編劇、流行樂填詞等工作，遊走於語言、音樂、影像媒體之間。2000年以〈深藍〉獲香港作曲家及作詞家協會(CASH)最佳歌詞獎。　　1996年開始於香港出版一系列動作幻想小說，其作品以充滿凌厲電影...详情

经典好书《杀手》读书内容简介:用餐，将换洗衣物全扔到洗衣店，他边吃早餐边玩《纽约时报》的填字游戏，在健身房运动，和女人展开注定失败的关系，他形单影只看电影……直到接到白原镇一位女子的电话，他便理好行李，搭上飞机，飞越半个国家……然后杀掉一个从未谋面的人。这也是个糊口的方法，然而这...详情

经典好书《爬虫类馆杀人事件》读书内容简介:被纸带从内侧糊死的密室，凶手如何脱出？皇家艾伯特动物园的爬虫类馆，迎来了两位有趣的访客。这对年轻男女各自代表着一个著名的魔术世家，而他们的祖上却有着莫名其妙的深厚积怨。几次三番的口舌争辩，使他们渐生情愫，而一场突如其来的诡异谋杀案件，更...详情

经典好书《机器猫哆啦A梦1》读书内容简介:两位漫画家。藤子·F. 不二雄是藤本弘的笔名，他生于1933年12月1日，1996年9月23日逝世。日本富山县高冈市人。藤子不二雄A是安孙子素雄的笔名，他是富山县冰见市人，1934年3月10日生。1944年，...详情