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

经典好书《石器时代经济学》读书内容简介:。他在本书中指出：资本主义的金钱理性，与斐济人、特罗布里恩德岛民的物质实践是殊途同归，只是更大文化价值体系的结果。特罗布里恩德岛民将一半收成送给了姐妹的丈夫，被我们认为是浪费时间和精力；但当我们逛商店时，选择鱼还是买回肉，其实也是一种无意识的习惯。所...详情

经典好书《美国所藏中国铜器集录（订补本）》读书内容简介:殷周铜器集录》一书的订正与增补，冠有原被删去的两篇作者自序。原书所收845件铜器的图像及铭文拓片，全部用考古所收藏的幅照片和拓本，重新进行高清晰度扫描，另外又补充原仅有器铭拓本而短缺图像的近40件铜器照片。书中所收器铭及说明中提及的关联器铭，均补注《...详情

经典好书《若不是因为爱着你》读书内容简介:女的家庭里，又突遭变故，本就有自闭，怕生，却硬生生被送到国外，语言不通，生活拮据，心理又难受，所以性情尖锐。而席郗辰则是上天给她安排的不对盘，他对她的纠缠不休，如无法摆脱的阴影，令人生厌的同时，却也慢慢的接收……只是，这种不死不休的孽缘到底是为了什么...详情

经典好书《因為喜歡才吻我嗎？》读书内容简介:，可是在進入暑假後，兩人都沒有見面，蒼太一直想找藉口約千洋，但都提不起勇氣。後來在兒時玩伴阿類的鼓勵之下，主動約了千洋。千洋也趁機開口約蒼太去他家，於是蒼太開開心心地赴約，然而千洋的表弟卻來打擾他們，還告訴蒼太說其實千洋以前交過很多女朋友，讓蒼太覺得...详情

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

经典好书《計數器少年》读书内容简介:大家都只能待在自己所屬的地方，沒有辦法成為他人。只能在被賦予的範圍裡，盡全力去保護某事某物。太陽60通內戰告一段落，池袋街頭終於逐漸恢復原貌，阿誠除了回到家中西一番街水果店的規律生活，還多了一個時尚雜誌專欄作家的身分，然而...详情

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

经典好书《我成了校園怪談的原因》读书内容简介:為是當屆最好看的小說，最值得一讀的難得佳作！★完美誤導讀者的縝密架構，讓《奇諾之旅》作者時雨一都不禁大呼：「我被騙了！！」★這絕對不是你想像的尋常校園怪談──書中到處暗藏玄機，每一句話都可能是伏筆，意想不到的發展，讓人...详情

经典好书《超长篇机器猫哆啦A梦13》读书内容简介: 这是一本适宜于对幼儿进行启蒙教育的彩色绘画本教材，全书以生动有趣的形象，简明扼要的文字，向孩子们介绍了关于的知识。作者简介详情