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

经典好书《初戀的歸向》读书内容简介:榎田尤利獻上的柔情小品。久我山因為一場交通事故而重溫第二次的高中生活，班級導師曾根對待早熟又有著冷淡眼神的久我山就像家人一樣。隨著漸漸認識印象中應該是憂鬱教師的曾根，久我山越來越渴望聽到曾根的輕柔嗓音。如果這股讓人胸口抽痛...详情

经典好书《最後期末考》读书内容简介:式撫摸他們。我們用手指破開感染性腔室薄弱的網狀隔膜，用圈成杯狀的手掌將凝固的血塊舀出來，以隔著手套的指甲將一圈圈黏連的腸道剝離。我們的工作是自我的延伸，但是我們卻進一步相信——我們「等同於」我們的工作。罹患先...详情

经典好书《最后的期末考》读书内容简介:科医生，抚慰万千读者的生死沉思华语世界首席身心灵小说家张德芬倾情推荐本书因为故事的真实性，具有动人心魄的力量，同时因为悲天悯人的情怀自然流露，让人备觉温暖。这是一本生命之书，也是一本温暖之书，揭示了生命的真相，也给现代人的...详情

经典好书《蝴蝶过期居留》读书内容简介:长笛，不开心的时候也只能喝“婴儿香槟”解闷，被暗恋的邵重侠却爱上已经有男朋友的林康悦，心甘情愿、百般痛苦地做一个第三者……已婚的杜苍林深爱着莫君怡，却没有能力给她一个身分，善解人意的莫君怡虽然独力抚养杜苍林的孩子，却始终无法恨他……</...详情

经典好书《恋には向かない職業》读书内容简介: アイドルグループのリーダー・頼は、元マネージャーの三倉に密かに想いを寄せていて……。優等生アイドルのトップシークレット・ラブ★作者简介详情

经典好书《蝴蝶過期居留》读书内容简介:邵重俠卻早愛上已經有男朋友的林康悅，痛苦地做一個第三者……翁朝山在得知林康悅背著他和邵重俠約會後，內心的芥蒂一直無法消除，最後只好黯然分手。嚴英如是邵重俠的大學女友，兩人一起到溫哥華唸書，可是她移情別戀愛上了杜蒼林……</...详情

经典好书《一期ノ夢》读书内容简介:)のもとに最近、もののけがらみの相談が頻繁に持ち込まれていた。武家の次男坊で学者もどきの宗次郎(そうじろう)を相棒に、2人で調査に乗り出すが、それぞれの事件の裏には切ない真相が隠れていてーー! ?ちゃらんぽらんな利助と朴念...详情

经典好书《香港最早期政黨及民主鬥士》读书内容简介:八十年代後才興起，而香港人在九十年代開始才比較關心政治。本書通過對戰後初期成立的香港革新會及香港公民協會的詳細研究，推翻上述看法。香港革新會及香港公民協會並非一般所指的壓力團體，而是積極爭取政治、經濟及社會改革的政黨。作為政府與市民之間...详情

经典好书《向哈佛菁英學思考》读书内容简介:>●作者曾受邀TEDxTokyo Teachers，以英文發表「It’s Thinking Time」。●日本熱銷十萬冊！◎現在思考力不如人，以後你就樣樣不如人！競爭力的關鍵，在真正的「獨立思考」！<...详情