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

经典好书《北京四合院》读书内容简介:p>纸上全景式还原北京四合院的独特风韵邓云乡说，四合院足以代表北京风情，“几百年中，它与北京融为一体，与历史融为一体。没有它，又如何显示北京的生活呢？”四合院独特的生活情趣、浓厚的文化气息以及敏锐的春夏秋冬四时之感，尽在书中。</...详情

经典好书《锦灰堆（合编本 全4册）》读书内容简介:一二卷收集了作者在80岁以前所写的大部分文章，计105篇，第三卷则以手书影印的形式选收了王世襄历年所作的诗词120首。全书计有线图234幅，黑白图424幅，彩图255幅，可谓琳琅满目，令人爱不释手。尤其令人叫绝的，是其所收的105篇文章分为家具、漆具...详情

经典好书《巡り合うよベィビィ》读书内容简介: バイトで家計を支えるしっかり者の空也は、仕事中に男同士のキスシーンを目撃してしまう。片方に見覚えがあると思ったら、それは空也が通う高校の教師で……!? 先生×生徒のラブ・プラクティス!!作者简介详情

经典好书《おやじな！～千夏と巴の場合～》读书内容简介: 作者简介详情

经典好书《恐怖漫畫合集 死角 (首刷附錄版)》读书内容简介:p>「看不見的」恐怖的作品群。伊藤潤二【白雪公主】美女只須要有我一個就夠了！世上最可怕的就是女人的嫉妒？高橋葉介【序章就結束的故事】某天突然有個不可思議的少女出現在面前。</...详情

经典好书《那年，我拔自己成刀（独家签名随机掉落）》读书内容简介:个个真实的少年。锈蚀的剑、灼热的刀；相思的女儿国国王、动情的齐天大圣；还有女版的唐僧与秦始皇、穿越到三国的路人……故事里的人物，绝处有侠气，死地仍提刀，没有坚持多久，只有不死不休。...详情

经典好书《獄都事變 公式同人合集-閃-》读书内容简介:玩之後，再把對於這次主角‧平腹的想法進行發揮所呈現的漫畫，不但可以看到每位漫畫家不同的風格，還能以不同的角度來看平腹這個總是活力十足的麻煩製造者，又將帶給獄卒們什麼樣的歡樂。每一位漫畫家還說出自己想拜託平腹幫忙跑腿做什麼事，以及他的魅力為何，感覺相當...详情

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

经典好书《人的自我寻求》读书内容简介:独的时代得以重建。本书从分析人的空虚、孤独与焦虑入手，解释现代人面临的严重心理困境，并进一步指出，造成这一混乱的根源是价值核心的丧失、自我感的丧失、语言的丧失和悲剧感的丧失等社会历史和文化心理的因素。然后通过强调自我意识是人不同于动物的独特标志，力图...详情