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

经典好书《紅衛兵の時代》读书内容简介:兵運動は，いまや全面否定されるに至っている．しかし，そもそも彼らは何に反発し，いかなる理想を抱いていたのか．「紅衛兵」という名称の生みの親であり，運動初期のリーダーでもあった著者の体験と思索の遍歴から，文化大革命に激しく揺れ動いた時代の中国の姿が鮮や...详情

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

经典好书《小团圆》读书内容简介:。原稿共619页，1976年完成后，张爱玲寄给香港的好友宋淇邝文美夫妇，后因各方原因未能发表；2009年2月，经张爱玲遗产执行人宋以朗授权，皇冠出版社首次出版单行本。◑这是一个热情故事，我想表达出爱情的万转千回，完全幻灭了之后也还有点什...详情

经典好书《鬼服兵團 01》读书内容简介:只有玩過鬼服的才懂內中淒涼。鬼服，顧名思義，玩家稀少冷清得跟蘭若寺般，連上世界洗頻都要等上老半天才有人回，可方箏身為代練，卻偏偏捨不下鏡花水月這個鬼服，操作著他的角色繼續在這充滿回憶的伺服器裡遊...详情

经典好书《一个红卫兵的自白》读书内容简介:15317，作者：梁晓声著作者简介梁晓声，1949年生，山东荣城人，当过知青，1977年毕业于复旦大学。中国作家协会会员。1979年开始发表作品，曾多次荣获国家级大将。其代表作品有：《雪城》、《今夜有暴风雪》、《这是一片神...详情

电视剧【韩剧机智牢房生活】剧情介绍:球选手金济赫一夜之间锒铛入狱后，在监狱里发生的故事。 　　金济赫是一位众所瞩目、即将进入美国大联盟的明星棒球选手，每个球团皆视他为全国最棒的棒球选手，愿意为他投入大笔资金，一夕之间却因为重伤强奸犯而进了监狱成了阶下囚，在最恶劣的监狱...详情

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

经典好书《知日·机甲》读书内容简介:70年出生，原为系统工程师，现为小说作家。代表作《简单易懂的现代魔法》《埼玉电锯少女》《All You Need Is Kill》。《All You Need Is Kill》被提名日本SF大奖“星云奖”入围作品，该作于2009年在美国出版，后被改编...详情

经典好书《鬼服兵團 05》读书内容简介:荷蘭商會，繼續在情人星座的任務環進度上奔馳！雖然鬼服的無厘頭和沒下限，讓荷蘭商會的團員們在心靈上受到了巨大的攻擊傷害……ＴＡＴ不過組團多日，終須一別，當假的血牛不吃草出現時，眾人很...详情