经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
初戀的歸向 书籍
经典好书《初戀的歸向》读书内容简介:榎田尤利獻上的柔情小品。久我山因為一場交通事故而重溫第二次的高中生活,班級導師曾根對待早熟又有著冷淡眼神的久我山就像家人一樣。隨著漸漸認識印象中應該是憂鬱教師的曾根,久我山越來越渴望聽到曾根的輕柔嗓音。如果這股讓人胸口抽痛...详情
夏季走过山间 书籍
经典好书《夏季走过山间》读书内容简介:受美国总统罗斯福推崇,影响美国政府对经济和社会的掌控方向的力作。让我们在“山之王国的约翰”带领下,在高山流水间,在溪流草场上,寻找与灵魂、宇宙、天堂相通的路径。作者简介约翰·缪尔(1838-1914),美国最著名的自然主义...详情
麵包樹出走了 书籍
经典好书《麵包樹出走了》读书内容简介:她相信承諾、她找尋幸福、她追尋愛情……她,是暢銷華文愛情天后─張小嫻 長篇小說出道作「麵包樹」系列二部曲 雋永經典 新裝上市!愛情到底是吞噬還是回吐呢?有時候,我想把你吞下肚裡去,永不分離。有...详情
恋には向かない職業 书籍
经典好书《恋には向かない職業》读书内容简介: アイドルグループのリーダー・頼は、元マネージャーの三倉に密かに想いを寄せていて……。優等生アイドルのトップシークレット・ラブ★作者简介详情
边走边啃腌萝卜 书籍
经典好书《边走边啃腌萝卜》读书内容简介:连载文章的结集。这次河童以日本人饮食生活的原点—— 腌萝卜为主线, 从东京都出发, 北至北海道, 南抵鹿儿岛, 西达鸟取, 一路品尝了从监狱、寺院直至远洋渔船厨房里的腌萝卜。不过河童显然不打算让整个连载都被浓重的腌萝卜味道所覆盖, 于是环境公害、食品...详情
经典好书《走ることについて語るときに僕の語ること》读书内容简介:ぐる冒険』を書き上げ、小説家として手ごたえを感じた時、彼は走り始めた。以来、走ることと書くこと、それらは、村上春樹にあって分かつことのできない事項となっている。アテネでの初めてのフルマラソン、年中行事となったボストン・マラソン、サロマ湖100キロ・マ...详情
狂走日本 书籍
经典好书《狂走日本》读书内容简介:”最受日本舆论界赞许的双语作家毛丹青,多年的日本旅居生活和穿梭于两国文化的丰富经历使得他对异域文化有独特的微妙体验。正如作家莫言的比喻:他是一条鱼。新版的《狂走日本》选摘了毛丹青最富盛名的散文作品《狂走日本》和《日本人的七...详情
向哈佛菁英學思考 书籍
经典好书《向哈佛菁英學思考》读书内容简介:>●作者曾受邀TEDxTokyo Teachers,以英文發表「It’s Thinking Time」。●日本熱銷十萬冊!◎現在思考力不如人,以後你就樣樣不如人!競爭力的關鍵,在真正的「獨立思考」!<...详情
向邪恶追索 书籍
经典好书《向邪恶追索》读书内容简介:劳伦斯•布洛克。侯孝贤、王家卫、梁朝伟、张大春、朱天文、朱天心为之迷狂。地狱判官马修这次拆招人民的意志。唉,没有什么是永远的,对吧?◎ 编辑推荐☆ 劳伦斯•布洛克,“纽约犯罪风景的...详情