经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
数据库管理系统原理与设计 书籍
经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情
经典好书《Present for me 石黒正数短編集》读书内容简介: 石黒正数(男,1977 - ),日本漫画家,出生于福井県, 毕业于大阪艺术大学艺术学系,已婚。作者简介详情
1973年的彈珠玩具 书籍
经典好书《1973年的彈珠玩具》读书内容简介:的事。那半年左右,我覺得好像在黑洞裡過的似的。在草原正中央挖了一口適合我尺寸的洞穴,在那裡蒙起頭把身體埋進去,並塞起耳朵斷絕所有的聲音。任何事情發生也引不起我的興趣。而每天傍晚一醒過來就穿上大衣,到遊樂場的角落裡消遣時間。
...详情
緊縛パッション 书籍
经典好书《緊縛パッション》读书内容简介:ワイルドなイケメン美大生・武蔵の緊縛絵モデルを、しぶしぶ務めることになった。武蔵もその友人たちもエキセントリック過ぎて、平平凡凡なシチサンには、まるで人智を超えた生き物!シチサンは平穏な生...详情
戴珍珠耳環的少女 书籍
经典好书《戴珍珠耳環的少女》读书内容简介:是你。』我逼迫自己望進他的眼睛,覺得自己燃燒了起來,一陣熱從我體內擴散,雖然如此我還是直視著他,我的心臟跳得很快。他在畫我了……她是出身貧苦人家的少女,因為前往畫家維梅爾的家中幫傭,而愛上了男主人。擁有極高藝術天份的她,深深影響了維梅爾...详情
数汤匙的贼 书籍
经典好书《数汤匙的贼》读书内容简介:史密斯对菲兹杰拉德极其嫌恶,却愿意花重金购买他的手稿。与此同时,九十二街的红墙别墅里死了一位老妇人,伯尼·罗登巴尔除了是个贼,还是个绅士,所以他不能对老妇人的死无动于衷。他一...详情
七龍珠完全版 15 书籍
经典好书《七龍珠完全版 15》读书内容简介:》中所表现出的轻松与幽默的风格,甚至有些角色就与《阿拉蕾》中的人物十分相似,脾气暴躁的布尔玛与小茜如出一辙,怕女人的乐平与一碰到女人就会变老虎的突咭君是不是很象呢,龟仙人吗......相信各位一定会联想到那个把阿卡送到地球上的神仙,还有小八戒!总之故...详情
龙珠(全42册) 书籍
经典好书《龙珠(全42册)》读书内容简介::七龙珠)是日本著名漫画家鸟山明的得意作品,1984年登场,1992年又推出『龙珠』续集。这部长篇巨作在『少年跳跃』上连载7年。故事讲述了孙悟空(当然不是我们神化中的那个齐天大圣喽)父子和那7颗能满足人们心愿的龙珠,把读者从山村引到城市...详情