警犬汉克历险记·成长特辑 书籍
经典好书《警犬汉克历险记·成长特辑》读书内容简介:精彩的《警犬汉克历险记》是他广受欢迎的代表作。作为曾经的牛仔,他对牧场的种种生活细节信手拈来,描写生动真实,引人入胜。目前,他和家人一同生活在得克萨斯州佩里顿自己的牧场上。杰拉尔德•L. 福尔摩斯曾经为数不清的漫画与教科书绘过插图,他为...详情
经典好书《PEER TO PEER:利用颠覆性技术的强大能量(影印版) (平装)》读书内容简介:和Freenet占据了报纸的头版头条,这些软件项目革命性地使用点对点的文件共享技术向内容分布的传统方法提出了挑战。记者们试图将之归类为无控制的对等网的一个分支。律师、企业领导和社会评论家正在急诊这种新兴的分布式系统的优点与危害。但隐藏在这种颠覆性技术...详情
经典好书《新装版 やらしいあしながおじさん》读书内容简介:大財閥会長の介護をすることに!ところが病弱のハズの主人はちょ~若くてハンサムな-------------…「あしながエロおじさん」だったのデス★ぜ~んぶ「ゴージャス&ふしだら男子」...详情
明人谱牒序跋辑略 书籍
经典好书《明人谱牒序跋辑略》读书内容简介:序跋作品,直观地反映了明代家族伦理思想的方方面面。各篇文字辑自明人别集,其现存家谱、族谱中之序跋未予辑录。各篇按作者生卒年先后编排,首取生年,其不知生年者,依卒年;其生卒年皆不知者,依其生活时代。作者名标于各篇题下,附注生卒年备检。各篇皆施以标点,并...详情
经典好书《魏晋南北朝隋唐史资料(第三十八辑)》读书内容简介: 作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
神雕侠侣(套装共4册) 书籍
经典好书《神雕侠侣(套装共4册)》读书内容简介:贤”。原名查良镛,江西省婺源县人,出生于浙江海宁,当代著名作家、新闻学家、企业家、社会活动家,《香港基本法》主要起草人之一。金庸是新派武侠小说最杰出的代表作家,被普遍誉为武侠小说作家的“泰山北斗”,更有金迷们尊称其为“金大侠”或“查大侠”。<...详情
经典好书《古文字与青铜器论集 (第四辑)》读书内容简介:本著作,与前三本论文集内容相仿,仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨,也有结合其它青铜器,对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...详情