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

经典好书《中国:传统与变革》读书内容简介:，约翰·金·费尔班克，1907年—1991年9月14日），美国著名汉学家、历史学家，哈佛大学终身教授，哈佛大学东亚研究中心的创始人。 1907年生于美国南达科他州的Huron，是其父Arthur Boyce Fairba...详情

经典好书《传统中国地权结构及其演变》读书内容简介:交通大学历史系教授、系主任。研究领域为移民史与人口史、疾病史、社会经济史与中国当代史。著有《中国移民史》第五、六卷（1997），《中国人口史》第四、五卷（2000、2001），《鼠疫：战争与和平——1320—1960年中国的环境与社会变迁》（2006...详情

电视剧【报告王爷，王妃是只猫】剧情介绍:编，讲述了误闯鲲鹏大陆的单身少女米小七为回到原本生活的云中世界，努力集齐灵玉，并找到自己的“有缘人”，在机缘之下与腹黑王爷北宫炎、邪魅城主南风辰发生了一段啼笑皆非的甜宠恋爱故事。 　　生活在云中世界的虎怂女孩米小七，因一时手贱打开了...详情

经典好书《中国文化传统的六个面向》读书内容简介:的六个面向——英雄本色、政教道统、江河岁月、饮食男女、魑魅魍魉、魂兮归来，结合经典文本进行个体剖析，从中外比较、古今汇通的角度阐释中国文化传统是什么。同时，作者所提出的这六个面向又构成一个完整而多元的文化光谱，它们相互映照，富有乐感，读来甚有趣味。<...详情

经典好书《论统一民法对于德意志的必要性》读书内容简介:学界在此前没有出现一个全译本，也没有出现足够开阔和深刻的研究立场。这篇论文的意义被大大低估了。蒂堡论文全译本的出版，为学界同仁提供了与萨维尼对质的材料。人们将有条件对法律观与政治立场之间相互勾连的方式，以及法律与法学、实践与理论、历史与理性之间的联系...详情

经典好书《叛獄の王子 ~叛獄の王子1~》读书内容简介:響宴。隣国アキエロスの世継ぎの王子デイメンは、腹違いの兄に陥れられ、ヴェーレの王子ローレントの前に奴隷として差し出された。手枷と首枷をはめられ、氷の心をもったローレントから屈辱的な扱いを受けるデイメン。</p...详情

经典好书《分布式操作系统》读书内容简介: 分布式操作系统（英文版），ISBN：9787111193470，作者：（荷）塔嫩鲍姆作者简介详情

经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上，以及程序是如何执行的，读者能够更好的理解程序的行为为什么是这样的，以及效率低下是如何造成的。粗略来看，计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情