经典好书《数字设计和计算机体系结构（原书第2版）》读书内容简介:用一种独特的现代数字设计方法，先介绍数字逻辑门，接着讲述组合电路和时序电路的设计，并以这些基本的数字逻辑设计概念为基础，重点介绍如何设计实际的MIPS处理器。另外，在全书的实例中运用SystemVerilog和VHDL展示基于CAD的电路设计方法和技...详情

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

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

经典好书《IEEE计算机先驱奖（1980-2014）：计算机科学与技术中的发明史（第三版）》读书内容简介:广播电视大学教授。本科毕业于清华大学计算机系，在北京理工大学计算机系取得硕士和博士学位。多年从事专家系统、数据挖掘、基于网络的个性化服务技术、远程教育等方面的研究，发表学术论文30余篇，出版教材多部。曾完成河南省自然学科基金项目两项，作为主要人员承担...详情

经典好书《计算机科学中的数学：信息与智能时代的必修课》读书内容简介:大学管理科学与工程系。现就职于中国电子科技集团公司第三十八研究所，曾游学美国，数据挖掘与大数据分析研究经验颇丰，在相关领域重要国际期刊及会议发表论文数篇。译有《高可用MySQL》（第1版和第2版）《R高性能编程》《大数据猩球：海量数据处理实践指南》《...详情

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

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

经典好书《期货市场计算机分析指南》读书内容简介:多的德高望重的老将。作为《技术交易商简报》一个面向机构及专业期货交易商的教育性月刊的编辑和发行人，勒博以他的交易技巧和技术分析的专业知识而闻名遐迩。他曾任E.F哈顿公司的区域期货主管。他组织、规划及推广过无数次的与商品相关的投资产品活动。他是期货市场...详情

经典好书《计算机算法的设计与分析》读书内容简介:哥伦比亚大学计算机科学系主管本科生教学的副主任，IEEE Fellow，美国科学与艺术学院及国家工程学院院士，曾获得IEEE的冯·诺伊曼奖。他是《编译原理》(Compiler：Principles，Techniques，andTools)的第一作者。...详情

经典好书《计算机算法设计与分析》读书内容简介:材。全书以算法设计策略为知识单元，系统介绍算法设计方法与分析技巧。主要内容包括：算法概述、递归与分治策略、动态规划、贪心算法、回溯法、分支限界法、概率算法、线性规划与网络流、NP完全性理论与近似算法等。书中既涉及经典与实用算法及实例分析，又包括算法领...详情