经典好书《人机交互：以用户为中心的设计和评估》读书内容简介:”方法相关的背景知识及发展概况。其后，分3篇分别介绍了解用户、用户界在设计和可用性评估的内容及一些相关的研究专题。最后，第11章讨论了在组织中实施以用户为中心的设计的专题。本书主要面向的读者包括：软件或网站的设计人员。同时本书也可成为“现代人因工程学...详情

经典好书《数字设计和计算机体系结构》读书内容简介:介绍了从计算机组织和设计到更细节层次的内容，涵盖了数字逻辑设计的主要内容，展示了使用VHDL和Verilog这两种主要硬件描述语言设计MIPS处理器的技术细节，并通过MIPS微处理器的设计强化数字逻辑的概念。《数字设计和计算机体系结构》的典型特色是将...详情

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

经典好书《一生的计划》读书内容简介:划》内容简介：五年前，当我第一次遇见格莱恩·布兰德的时候，他告诉我一个雄心勃勃的计划：他要白手起家，建立美国规模最大、影响力最大的人寿保险销售组织。令人难以置信的是：在五年前这还只是一个梦想，而现在它已经成为现实。就我所知，在人寿保险业...详情

经典好书《一本纯粹的设计师手稿》读书内容简介:”之一种。书中展现的是一名服装设计师在法国巴黎留学期间，在经历了思维的撞击、融合后，以不同以往的思维方式建构自我风格Collection的全过程。非常细致地表现了设计师从获得灵感到选择主题，从框架到结构，从感性来源到理性推敲的设计演变，将设计思维的全...详情

经典好书《数字设计和计算机体系结构》读书内容简介:，从计算机组成和设计向下至更精细的层次，详细展示了如何用Verilog和VHDL构建MIPS微处理器。本书为学生提供了一个很好的机会，使他们可以在现代FPGA上进行大型的数字设计，既能增长学生的专业知识，又能启发学生运用所学知识去解决实际问题。书中通...详情

经典好书《计算机算法设计与分析》读书内容简介: 计算机算法设计与分析，ISBN：9787505363915，作者：王晓东编著作者简介详情

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

经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情