数理逻辑概貌

莫绍揆

评分 0.0分

本书向初学者扼要介绍数理逻辑的各部分内容。在逻辑演算中除介绍真值联结词与量词的公理系统外，还介绍了自然推理系统，以冀这个方便的工具可以早日普及。在集合论中介绍了集合论悖论的产生，当初解决悖论的各种尝试，以便读者可以理解现在的公理集合论的来龙去脉。递归论中除介绍各种重要的递归函数类外，着重指出各种推广的重要应用。证明论中介绍数学基础方面的各个派别以及不完全性定理，它指导着证明论的发展趋向。在模型论中

计算机系统（原书第5版）

[美] J. 斯坦利·沃法德（J. Stanley Warford）

评分 0.0分

本书从逻辑门、微编码、指令集体系结构、操作系统、汇编、高阶语言和应用等层级，系统而全面地介绍了计算机系统、C++、信息表示、计算机体系结构、汇编语言、汇编级编译、语言翻译原理、进程管理、存储管理、组合电路、顺序电路、计算机组成。书后配有练习答案。本书全面而系统地介绍了计算机组成、汇编语言和计算机体系结构的核心概念。通过自顶向下的方法，引导读者探索不同规模的计算机系统以及抽象级。通过检查不同的抽象级

可计算函数

A.Shen, N.K.vereshchagin

评分 0.0分

这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m- 完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如 turing机和递归函数。 《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计

计算机组成原理

白中英

评分 6.3分

本书是在国家级优秀教材《计算机组成原理教程》一书基础上修订的新版教材。内容分如下九章:计算机系统概论;运算方法和运算器;存储系统;指令系统;中央处理器;系统总线;外围设备;输入输出系统;实验与课程设计。 本书内容安排与中国计算机学会教育委员会、全国高等学校计算机教育研究会联合推荐的《计算机学科教学计划1993》相一致。 本书内容全面，概念清楚，系统性强，注重实践环节与能力培养，

多语自然语言处理

Daniel M. Bikel, Imed Zitouni

评分 0.0分

本书是第一本全面阐述如何构建健壮和准确的多语自然语言处理系统的图书，由两位资深专家编辑，集合了该领域众多尖端进展以及从广泛的研究和产业实践中总结出的实用解决方案。第一部分介绍现代自然语言处理的核心概念和理论基础，展示了如何理解单词和文档结构、分析语法、建模语言、识别蕴涵和检测冗余。第二部分彻底阐述与构建真实应用有关的实际考量，包括信息抽取、机器翻译、信息检索、文摘、问答、提炼、处理流水线等。

深入理解云计算

Rajkumar Buyya, Christian Vecchiola,S.T

评分 0.0分

本书从云基础知识、云应用编程和云平台三个方面，介绍云计算的起源、发展、核心技术、编程技巧和实际应用，基于Aneka平台详细讲解并行计算、高吞吐量计算和数据密集型计算的范式。此外，还涉及亚马逊Web服务、谷歌AppEngine和微软Azure三大云平台，以及云计算在科学、工程、游戏、社交等领域的最新应用。 本书内容严谨、结构清晰、实例丰富，既可作为高等院校计算机相关专业的教材，也适合云技术研发人员阅

深入理解云计算

Rajkumar Buyya, Christian Vecchiola,S.T

评分 0.0分

本书从云基础知识、云应用编程和云平台三个方面，介绍云计算的起源、发展、核心技术、编程技巧和实际应用，基于Aneka平台详细讲解并行计算、高吞吐量计算和数据密集型计算的范式。此外，还涉及亚马逊Web服务、谷歌AppEngine和微软Azure三大云平台，以及云计算在科学、工程、游戏、社交等领域的最新应用。 本书内容严谨、结构清晰、实例丰富，既可作为高等院校计算机相关专业的教材，也适合云技术研发人员阅

信息论与编码理论

[英] 马克·凯尔伯特, [俄] 尤里·苏霍夫

评分 0.0分

操作系统设计：Xinu方法

(美)Douglas Comer

评分 8.7分

本书以Xinu（一个小型简洁的操作系统）为例，全面介绍操作系统设计方面的知识。本书着重讨论用于嵌入式设备的微内核操作系统，采用的方法是在现有的操作系统课程中纳入更多的嵌入式处理内容，而非引入一门教读者如何在嵌入式系统上编程的新课程。 本书从底层机器开始，一步步地设计和实现一个小型但优雅的操作系统Xinu，指导读者通过实用、简单的原语来构造传统的基于进程的操作系统。本书回顾了主要的系统组件，并利用分

面向计算机科学的数理逻辑系统建模与推理

胡思

评分 9.2分

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映

计算机科学概论

(美)Nell Dale, John Lewis

评分 9.1分

《计算机科学概论》由两位知名的计算机科学教育家编写，全面而细致地介绍了计算机科学的各个方面。书中，计算系统的每个分层都以剖析，从住处层开始，历经硬件层、程序设计层、操作系统层、应用程序层的通信层，最后讨论了计算的限制。此外，正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息，有助于你进一步了解计算机科学。每章后面都附带有大量的练习，可以帮助你即时重温并掌握这一章所述的内容。 《计算

MATLAB编程与工程应用

斯托米·阿塔韦

评分 7.1分

阿塔韦等编著的《MATLAB编程与工程应用(第2版)》分成两大部分：第一部分主要讲述如何用MATLAB进行程序设计及解决实际问题，具体内容包括MATLAB程序设计概念、选择、循环、字符串操作、单元阵列与结构、高级文件输入／输出及高级函数等；第二部分完全针对实际应用，具体内容包括用MATLAB绘图、解线性代数方程组、进行基本统计、集合、排序和索引、处理声音和图像，以及高等数学中的曲线拟合、复数计算、

具体数学

Ronald L. Graham, Donald E. Knuth, Oren Patashnik

评分 0.0分

Concrete mathematics: A foundation for computer science (1989,第一版)的中文版

神经网络导论

王晓梅

评分 0.0分

面向对象软件工程

沙赫查

评分 0.0分

《面向对象软件工程》从面向对象范型出发对软件工程进行重新演绎，全面、系统、清晰地介绍了面向对象软件工程的基本概念、原理、方法和工具，通过实例说明了面向对象软件开发的整个过程。《面向对象软件工程》分为两个部分：第一部分介绍了面向对象软件工程的基本理论；第二部分以工作流的形式介绍了软件生命周期。

现代操作系统

陈海波, 夏虞斌

评分 9.2分

本书以三个“面向”为导向，即面向经典基础理论与方法，面向国际前沿研究，面向工业界实践，深入浅出地介绍操作系统的理论、架构、设计方法与具体实现。本书是首本以ARM64为主体介绍操作系统的教材，将学术前沿与工业实践充分结合，不仅介绍了现有的Linux宏内核操作系统架构，而且介绍了微内核、外核等操作系统架构。 本书共分为三个部分，其中第一部分(操作系统基础)以纸质版的形式出版，第二部分（操作系统进阶）和

软件工程

[美]理查德 F. 施密特

评分 0.0分

本书比较全面地介绍软件工程学科，展示软件工程原则与基于系统工程的软件实践，阐明与软件工程所用的严格方法相关的实践活动、原则、任务和工件。本书共分三部分：第一部分（软件工程基础）讨论在软件工程体系下的软件开发框架和项目构建；第二部分（软件工程实践）通过六项技术惯例传达一种理念——利用计算技术，应用科学原则以及激活设计软件产品结构的灵活性；第三部分（软件工程应用的阶段）讨论软件工程团队在软件开发项目中

云计算系统与人工智能应用

[美]黄铠（Kai Hwang）

评分 0.0分

Infinite Descent into Pure Mathematics

CLIVE NEWSTEAD

评分 0.0分

An Infinite Descent into Pure Mathematics was born out of lecture notes I wrote for teaching Concepts of Mathematics, an introductory pure mathematics class at Carnegie Mellon University, in summer 20

逻辑与计算机设计基础（原书第5版）

M. Morrs Mano, Charies R. Kime

评分 0.0分

Introducing Maven

Balaji Varanasi, Sudha Belida

评分 0.0分

伟大的计算原理

Peter J. Denning

评分 8.5分

本书系统总结了从算法到系统横跨计算机领域的6类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算机专业计算机科学导论课程的教学参考书，也适合IT领域的程序员及专业人员阅读。

信息检索导论（修订版）

普拉巴卡尔•拉格万（Prabhakar Raghavan）

评分 9.0分

本书是信息检索的教材，旨在从计算机科学的视角提供一种现代的信息检索方法。书中从基本概念讲解网络搜索以及文本分类和文本聚类等，对收集、索引和搜索文档系统的设计和实现的方方面面、评估系统的方法、机器学习方法在文本收集中的应用等给出了最新的讲解。 什么是排序SVM、XML、DNS和LSI？什么是信息检索中的垃圾信息、隐藏页和门页？MapReduce和其他一些并行运算方

硅谷之火

迈克尔·斯韦因

评分 7.8分

本书是一部微型计算机发展史，让读者了解整个20世纪以及至21世纪初计算机从兴起到鼎盛直至今天受到平板电脑和手机等电子产品冲击的整个过程，是一本集历史故事与小说风格于一体的硅谷纪传体书籍。最新第3版重新修订了全书内容，增加了计算机发展史上的几位大佬退出舞台后的计算机行业现状分析。

计算机简史（第三版）

[英] 马丁·坎贝尔–凯利

评分 8.1分

这是一部计算机史的权-威之作，追溯了计算机的史前史、发明、软硬件的创新、应用领域的扩展以及个人计算机和因特网的兴起。《计算机简史 第三版》增加了对软件和因特网的*分析，涉及编程、社交网络、移动终端等诸多新话题。本书还探讨了谷歌、Facebook等行业巨擘的崛起与发展，讨论了强大的应用程序如何改变了人们的工作、消费、学习和社交方式。

软件开发的201个原则

Alan M.Davis

评分 8.2分

《软件开发的201个原则》汇总了软件工程原则。原则是关于软件工程的基本原理、规则或假设，不管所选的技术、工具或语言是什么，这些原则都有效。 《软件开发的201个原则》共9章，第1章为引言，后面8章将201个软件工程的原则划分为8个大的类别：一般原则、需求工程原则、设计原则、编码原则、测试原则、管理原则、产品保证原则和演变原则。 《软件开发的201个原则

编译原理

Alfred V. Aho

评分 9.5分

《编译原理(本科教学版第2版)》基于该书第2版进行改编，内容更加精练和实用，体系更加符合国内教学情况，适合作为高等院校计算机及相关专业本科生的编译原理课程的教材，也是广大研究人员和技术人员的极佳参考读物。 《编译原理(本科教学版第2版)》是编译领域无可替代的经典著作，被广大计算机专业人士誉为“龙书”。《编译原理(本科教学版第2版)》上一版自1986年出版以来，被