经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《计算机组成（第6版）》读书内容简介:完全建立在“计算机是由层次结构组成的，每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新，以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层，并涵盖...详情

经典好书《神雕侠侣（套装共4册）》读书内容简介:贤”。原名查良镛，江西省婺源县人，出生于浙江海宁，当代著名作家、新闻学家、企业家、社会活动家，《香港基本法》主要起草人之一。金庸是新派武侠小说最杰出的代表作家，被普遍誉为武侠小说作家的“泰山北斗”，更有金迷们尊称其为“金大侠”或“查大侠”。<...详情

经典好书《金庸武侠全集(全36册)（繁体 竖排 点评本）》读书内容简介: 作者简介详情

经典好书《古文字与青铜器论集 （第四辑）》读书内容简介:本著作，与前三本论文集内容相仿，仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨，也有结合其它青铜器，对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...详情

经典好书《千古文人侠客梦》读书内容简介:教授及系主任、教育部长江学者特聘教授、北大二十世纪中国文化研究中心主任、中国俗文学学会会长。先后在日本东京大学和京都大学、美国哥伦比亚大学、德国海德堡大学、英国伦敦大学、法国东方语言文化学院、美国哈佛大学以及香港中文大学、台湾大学等从事研究或教学。近...详情

经典好书《明清瓷器鉴定》读书内容简介: 作者简介详情

经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上，在身体生产与国家认同这个维度中，去试图打捞、审视并重读这些被遗漏在重读视野之外的，只能够在电影史的叙述中被偶尔提及和简要概述的影片，从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情

经典好书《无器械健身》读书内容简介:7530459928，作者：（美）马克·劳伦，乔舒亚·克拉克 著 蔡杰 译作者简介马克?劳伦是美国军方的体能训练专家、特种作战管理者、三项全能运动员，还是一个顶级的泰拳手。他曾经有效地训练过近1000名士兵，使他们达到了最...详情

经典好书《機器娃娃(7)》读书内容简介: 作者简介详情