经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《贵州师范大学图书馆古籍珍善本提要目录》读书内容简介:单位”,馆藏古籍文献10万余册,善本6千余册,有明代以来的刻本、稿本、抄本、石印本等。本书精选三级乙等及以上馆藏古籍文献,共计285部,其中经部51部、史部77部、子部44部、集部106部、丛部7部。每种撰有提要,介绍版本、形态、编撰者生平简介、内容...详情
经典好书《SWWEEET危险甜心Vol.1》读书内容简介: 作者简介详情
机器猫哆啦A梦1 书籍
经典好书《机器猫哆啦A梦1》读书内容简介:两位漫画家。藤子·F. 不二雄是藤本弘的笔名,他生于1933年12月1日,1996年9月23日逝世。日本富山县高冈市人。藤子不二雄A是安孙子素雄的笔名,他是富山县冰见市人,1934年3月10日生。1944年,...详情
毕加索:创造者与毁灭者 书籍
经典好书《毕加索:创造者与毁灭者》读书内容简介:金城出版社新引进的《毕加索:创造者与毁灭者》一书,剥掉笼罩在他头上的神秘光环,从生活的角度复原了一个不为人知的毕加索:艺术天才对社会充满恐惧和仇恨,喜欢在情人之间挑斗战争,不断偷情,以此为乐。每个跟他有关系的女人的命运都是那么悲惨——不是疯了,就是死...详情
韩剧机智牢房生活 电视剧
电视剧【韩剧机智牢房生活】剧情介绍:球选手金济赫一夜之间锒铛入狱后,在监狱里发生的故事。
金济赫是一位众所瞩目、即将进入美国大联盟的明星棒球选手,每个球团皆视他为全国最棒的棒球选手,愿意为他投入大笔资金,一夕之间却因为重伤强奸犯而进了监狱成了阶下囚,在最恶劣的监狱...详情
超长篇机器猫哆啦A梦13 书籍
经典好书《超长篇机器猫哆啦A梦13》读书内容简介: 这是一本适宜于对幼儿进行启蒙教育的彩色绘画本教材,全书以生动有趣的形象,简明扼要的文字,向孩子们介绍了关于的知识。作者简介详情
知日·机甲 书籍
经典好书《知日·机甲》读书内容简介:70年出生,原为系统工程师,现为小说作家。代表作《简单易懂的现代魔法》《埼玉电锯少女》《All You Need Is Kill》。《All You Need Is Kill》被提名日本SF大奖“星云奖”入围作品,该作于2009年在美国出版,后被改编...详情
游戏机制 书籍
经典好书《游戏机制》读书内容简介:设计顾问,现定居于英国。除顾问工作外,他还开办游戏设计研讨班,并在各种会议和大学中发表演讲,广受欢迎。Adams先生从1989年起就在互动娱乐行业中工作,并在1994年成立了国际游戏开发者协会(International Game Developer...详情
小说机杼 书籍
经典好书《小说机杼》读书内容简介:拉《小说的艺术》的传统,《小说机杼》是一部研究小说魔力的神奇之作——分析其主要元素,颂扬其持久动力。书中对我们这个时代最显著、最时髦的批判深入到了讲故事时的机械设定,由此提出一些基本的问题:当我们说”认识”某个虚构的人物时,这 意味着什么?生动的细节...详情