经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 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...详情
中国文化传统的六个面向 书籍
经典好书《中国文化传统的六个面向》读书内容简介:的六个面向——英雄本色、政教道统、江河岁月、饮食男女、魑魅魍魉、魂兮归来,结合经典文本进行个体剖析,从中外比较、古今汇通的角度阐释中国文化传统是什么。同时,作者所提出的这六个面向又构成一个完整而多元的文化光谱,它们相互映照,富有乐感,读来甚有趣味。<...详情
经典好书《论统一民法对于德意志的必要性》读书内容简介:学界在此前没有出现一个全译本,也没有出现足够开阔和深刻的研究立场。这篇论文的意义被大大低估了。蒂堡论文全译本的出版,为学界同仁提供了与萨维尼对质的材料。人们将有条件对法律观与政治立场之间相互勾连的方式,以及法律与法学、实践与理论、历史与理性之间的联系...详情
深入理解计算机系统 书籍
经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上,以及程序是如何执行的,读者能够更好的理解程序的行为为什么是这样的,以及效率低下是如何造成的。粗略来看,计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情
商务与经济统计 书籍
经典好书《商务与经济统计》读书内容简介:ney),辛辛那提大学数量分析系教授和生产力提高中心主任。他出生在艾奥瓦州得梅因市,在德雷克大学获得工商管理学士学位,在印第安纳大学获得工商管理硕士和工商管理博士学位,并成为NDEA会员。在1978~1979年期间,斯威尼教授曾在宝洁公司管理科学小组...详情
SPSS统计应用实务 书籍
经典好书《SPSS统计应用实务》读书内容简介:作为统计分析的工具软件,除介绍量化研究预试问卷分析的基础理论之外,还详细介绍了如何使用SPSS软件来分析预试问卷以及分析人员在量化研究中对正式问卷的统计应用和数据处理的方法。《SPSS统计应用实务》体例完备、解说清晰、注重实用性,适合从事相关统计研究...详情