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

经典好书《迷宮飯(02)限定版》读书内容简介:>很簡單，只要把魔物拿來料理就好了！在隨時都可能餓死的恐懼中，萊歐斯一行人繼續往迷宮更深處前進。抵達地下３樓後，來到他們面前的都是喪屍和幽靈、活繪畫或哥雷姆等無法吃的魔物，萊歐斯等人會如何克服這項大危機...详情

经典好书《迷宮飯(04)》读书内容简介:>很簡單，只要把魔物拿來料理就好了！在娜瑪莉的相助下，萊歐斯一行人終於突破危機四伏的地下四樓。然而在前方等著他們的，是攻擊力強大又堅韌難傷的炎龍！攸關法琳安危的一戰，究竟眾人是否能夠順利將之降伏？</p...详情

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

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

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

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

经典好书《迷幻藥局2》读书内容简介: 擁有特殊超能力的風疾和陸王，在似乎也有特殊能力的花螢老闆所開設的綠藥局打工，每次花瑩總是會有各種稀奇古怪的私下委託，而這些委託都必須使用到超能力，這次風疾和陸王又將接到什麼奇怪的「打工」呢？作者简介详情

经典好书《十二國記：風之海·迷宮之岸（下）》读书内容简介: 不懂得變身、也沒有收伏任何一隻使令的泰麒被帶來異界，領悟並學習到了身為『麒麟』的重責大任。泰麒相信驍宗就是他要侍奉的那一位君王，但是在他面前，泰麒卻沒有獲得任何的『天啟』。年幼的神獸即將選出君王，而這個抉擇即將撼動國家的未來！作者简介详情

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