经典好书《计算机组成与设计(英文版·原书第5版·ARM版)》读书内容简介:,IEEE和DACM会士,美国国家工程研究院院士及美国科学艺术研究院院士,因在RISC技术方面做出的突出贡献而荣获T2001年的Eckert—Mauchly奖。同时他也是2001年SeymourCray计算机工程奖得主,并且和本书另外一位作者Davi...详情
肇论集解令模抄校释 书籍
经典好书《肇论集解令模抄校释》读书内容简介:世注疏颇多。本书所用日本“真福寺本“《肇论中吴集解》与《肇论集解令模钞》为目前为止最为完整、最可信赖的存世版本,具有很高的文献价值。本校释以此为底本,并分别以罗振玉《宸翰楼丛书》所收《肇论中吴集解》和日本东京文化大学东洋文化研究所藏三好鹿雄钞本《令模...详情
统计模型 书籍
经典好书《统计模型》读书内容简介:优秀的统计模型教材,着重讲解线性模型的应用问题,包括广义最小二乘和两步最小二乘模型,以及二分变量的probit及logit模型的应用。《统计模型:理论和实践(原书第2版)》还包括关于研究设计、二分变量回归及矩阵代数的背景知识。此外,《统计模型:理论和...详情
经典好书《磁滞数学模型及考虑磁滞时磁场数值计算》读书内容简介: 《磁滞数学模型及考虑磁滞时磁场数值计算》对磁滞的数学模型及考虑磁滞时磁场数值计算方面的研究状况进行了综述,并介绍了一些典型的标量及矢量磁滞模型,对这些数学模型中涉及的一些概念进行了详细的讨论。作者简介详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
统计模型 书籍
经典好书《统计模型》读书内容简介:容简介:Some books are correct. Some are clear. Some are useful. Some are entertaining. Few are even two of these. This book is a...详情
经典好书《贝叶斯统计学 原理、模型及应用》读书内容简介: 中国统计出版社作者简介详情
複素解析 书籍
经典好书《複素解析》读书内容简介:市に生まれる。1982年早稲田大学教育学部理学科数学専修卒業。1984年早稲田大学大学院理工学研究科修士課程修了。現在は東京大学大学院数理科学研究科教授。理学博士。専攻は実解析学、調和解析学、ウェーブレット解析杉本充196...详情
実解析 书籍
经典好书《実解析》读书内容简介:市に生まれる。1982年早稲田大学教育学部理学科数学専修卒業。1984年早稲田大学大学院理工学研究科修士課程修了。現在は東京大学大学院数理科学研究科教授。理学博士。専攻は実解析学、調和解析学、ウェーブレット解析杉本充196...详情