经典好书《磁滞数学模型及考虑磁滞时磁场数值计算》读书内容简介: 《磁滞数学模型及考虑磁滞时磁场数值计算》对磁滞的数学模型及考虑磁滞时磁场数值计算方面的研究状况进行了综述，并介绍了一些典型的标量及矢量磁滞模型，对这些数学模型中涉及的一些概念进行了详细的讨论。作者简介详情

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

经典好书《贝叶斯统计学 原理、模型及应用》读书内容简介: 中国统计出版社作者简介详情

经典好书《交互式计算机图形学》读书内容简介: 交互式计算机图形学：基于OpenGL的自顶向下方法，ISBN：9787302123903，作者：（美）思詹（angel, E.）著作者简介详情

经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

经典好书《分布式计算》读书内容简介:方向。《分布式计算》以分布式计算范型的发展演变为线索，由简入繁、由浅入深地介绍Socket通信程序、分布式对象技术、组件开发技术、面向服务体系结构等内容；以Socket应用层程序、Sun公司的RMI（Remote Method Invocation）...详情

经典好书《分布式计算》读书内容简介:诺伊大学计算机科学系副教授。1 991年获俄亥俄州立大学计算机与信息科学博士学位，1999年获得美国国家科学基金会的CAREER奖。IEEE高级会员。研究领域包括分布式计算、算法、计算机网络和并行系统。现任Computer Networks编辑委员会...详情

经典好书《计算系统的形式语义》读书内容简介:两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情