计算已经成为人们生活中不可或缺的组成部分，人类社会享受了计算技术的红利得以飞速发展。可以说当今的计算机科学和产业应用的成就是人类文明有史以来所有智慧的结晶。解释、澄清和发展 计算 这一重要概念，即本书之写作目的。本书从探索数学的起源开始，细数了数学史上三次危机的来龙去脉，逐渐引出计算理论的诞生和发展，以及这些过往是如何影响当今计算机科学最前沿方向的。最后本书从哲学层面探讨了计算的边界，将其视为人类需要继续探索的未解之谜。本书横跨了人类3000年的文明史，综合了数学、哲学、物理学、计算机科学、人工智能、复杂系统科学等多门学科，呈现出一种独特的计算主义的世界观。
本书由2017年图灵奖的两位得主撰写，是计算机体系结构领域的经典教材，每年被超过40000名学生使用。新版的主要更新是在每章中添加了关于DSA的内容，并更新了所有实例，使全书更加与时俱进，满足学生和读者的新需求。
本书是关于雷达目标检测和恒虚警(CFAR)处理理论与方法的一部专著。书中总结了三十多年来，在这一领域国际上的研究进展及大量研究成果。全书由15章组成，主要内容有经典的固定门限检测、均值类CFAR检测器、有序统计类CFAR检测器、采用自动筛选技术的广义有序统计类CFAR检测器、自适应CFAR检测器、韦布尔和对数正态杂波背景中的CFAR检测器、复合高斯分布杂波中的CFAR处理、非参量CFAR处理、杂波图CFAR处理、变换域CFAR处理、距离扩展目标检测、多传感器分布式CFAR处理以及其他CFAR处理方法，后是本书的回顾、建议与展望。本书可供从事雷达工程、声纳、电子工程、信号与信息处理等专业的科技人员阅读和参考，还可以作为上述专业的研究生教材
本书是一本围绕最优控制理论展开的实用指南，以深入浅出的方式介绍了最优控制理论、动态规划、线性二次型调节器（LQR）、模型预测控制（MPC）和卡尔曼滤波器以及它们之间的联系，并展示了它们在综合应用中的使用方法与技巧。本书旨在为读者提供全面而直观的学习资源，同时将这些概念有机地应用于实际控制问题。通过书中丰富的例子和详细的代码，读者可以直接实践和验证所学内容，从而深化对这些理论的理解。 本书的目标读者群体为自动化类专业的本科生和研究生以及相关领域的科研人员。
本书内容详实，结构严谨，侧重于介绍优化理论在实际生活中的应用，是学习优化理论不可多得的入门教材。读者将从本书中学到如何识别、简化、建模以及求解相关优化问题，并将其中暗含的基本原理应用到自己正在进展的项目中。本书对线性代数做了清晰而完整的介绍。通过引入相关的实际案例，以易于理解且形象的方式给读者展示核心的数学概念，并帮助其领会问题的实际意义。阅读本书不需要太多的预备知识，读者只需要对几何学、微积分学和概率统计学有一个基本的了解。本书可用于本科生或研究生优化理论学习的教材。
涵盖2021年CISSP所有考点，是您的一站式学习手册，助您更灵活、更快捷地准备CISSP考试。本书编排得当，内容详实，包含可供个人评估备考进展的测试、目标地图、书面实验题、关键考点以及富有挑战的章节练习题。开始使用本手册准备CISSP考试吧。 涵盖全部考试目标 ? 安全与风险管 理 ? 资产安全 ? 安全架构与工程 ? 通信与网络安全 ? 身份和访问管理 ? 安全评估与测试 ? 安全运营 ? 软件开发安全
本书结构 本书内容面向网络安全新手，基本囊括了目前所有流行的高危漏洞的原理﹑攻击手段和防御手段，并通过大量的图、表、命令实例的解说，帮助初学者快速掌握Web渗透技术的具体方法和流程，一步一个台阶地帮助初学者从零建立作为 白帽子 的一些基本技能框架。本书配套源码环境完全免费。 全书按照从简单到复杂﹑从基础到进阶的顺序，从新人学习特点的角度出发进行相关知识的讲解，抛弃了一些学术性、纯理论性、不实用的内容，所讲述的渗透技术都是干货。读者按照书中所述步骤进行操作，即可还原实际渗透攻击场景。 第1章 渗透测试之信息收集 在进行渗透测试之前，最重要的一步就是信息收集。本章主要介绍域名及子域名信息收集﹑旁站和C段、端口信息收集、社会工程学和信息收集的综合利用等。 第2章 漏洞环境 白帽子 在没有得到
本书原为麻省理工学院计算机科学与工程专业的数学课程讲义，谷歌技术专家参与编写，涵盖计算机科学涉及的全部基础数学知识，包括形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概率、递归等，特别强调数学定义、证明及其应用方法。本书因具有系统、完整，以及有趣、易读等明显优势，现已被全球IT技术相关从业者及准从业者奉为圭臬、广泛传阅，在人工智能日益普及的全新信息时代，更是大放异彩。本书适合计算机相关专业学生及从业人员作为数学入门教材，亦可作为统计、机器学习、数据挖掘等课程的宝贵资料。
本书主要针对控制理论的一些重要分支，分析了当前存在的瓶颈问题，展望了其发展趋势和面临的一系列挑战。全书共分为17章，分别为：优化控制研究的概述与关键问题分析、逻辑控制系统中的未解问题、系统与控制中优化理论与应用的挑战与瓶颈、分布参数系统控制、数据驱动控制系统、自抗扰控制中的若干未解问题、非线性控制的几个瓶颈问题、时间与事件驱动的采样系统控制、系统辨识在信息时代的挑战和一些瓶颈问题、自适应控制的瓶颈问题、预测控制理论的瓶颈问题、随机控制系统中的若干瓶颈问题、不连续控制系统的现状及开问题、时滞系统控制的瓶颈问题、控制系统分析设计的一个隐性瓶颈问题、鲁棒控制的瓶颈问题、怎样的受控对象更好控制；最后以附录的形式列出了征集到的部分开问题。
本书是一本针对Java开发人员的图书，旨在帮助Java开发人员掌握Spring Boot的基本使用，以及深入了解Spring Boot的应用及原理。 本书内容由浅入深、循序渐进，第1～5章介绍Spring Boot的基础知识（基础入门、配置管理、Starter、自动配置、启动过程与扩展应用、日志管理），第6～9章介绍Spring Boot的综合应用（Web、数据访问、计划任务、缓存、消息队列），第10～12章介绍Spring Boot应用的附加能力（调试、单元测试、打包、部署、监控、报警），全面覆盖了Spring Boot的核心知识要点。 本书涵盖了笔者多年的研究和实践经验，从中提炼出了核心知识要点，从Spring Boot的基本概念和基础实践入手，再通过大量的知识点分析及代码实践，详细介绍如何利用Spring Boot简化开发过程，提高开发效率。
《码农翻身》 《码农翻身》用故事的方式讲解了软件编程的若干重要领域，侧重于基础性、原理性的知识。 《码农翻身》分为6章。 第1章讲述计算机的基础知识；第2章侧重讲解Java的基础知识；第3章偏重Web后端编程；第4章讲解代码管理的本质；第5章讲述了JavaScript的历史、Node.js的原理、程序的链接、命令式和声明式编程的区别，以及作者十多年来使用各种编程语言的感受；第6章是作者的经验总结和心得体会，包括职场发展的注意事项、作为架构师的感想、写作的好处等。 《码农翻身》不是一本编程的入门书，对编程一窍不通的 纯小白 可能看不明白，可能会失望。但稍有编程基础的读者读起来会非常畅快，读后会有一种 原来如此 的感觉。 《码农翻身2》 本书采用故事的方式讲解了软件编程，尤其是后端编程的重要领域，侧重原理性知识。 本书分为7章，
本书内容是三维点云的核心原理、方法与技术，重点是点云模型的三维空间识别、理解与重建。全书上、下两册，分为四部分，共15章，上册包括点云获取与预处理、点云特征分析与计算和点云识别与理解；下册介绍点云重构与艺术风格化。本书为上册。
p 量子信息学是20世纪80年代以量子物理学为基础，融入计算机科学、经典信息论形成的新兴交叉学科，主要包括量子通信和量子计算两个分支。本书是关于量子计算机研究，分上、下两册出版。上册是关于量子计算机原理和物理实现，下册是关于量子纠错和容错量子计算。 /p p 本书为上册，内容包括计算机从经典到量子、量子位和量子逻辑门、量子算法、量子计算机动力学模型、离子阱量子计算机、基于半导体量子点的量子计算机，固体超导量子计算机，绝热量子计算、簇态和簇态上的量子计算等。 /p p br/ /p
在《定性表征 人们如何推理和学习连续变化的世界》一书中，Kenneth D.Forbus提出，定性表征是认知科学非常深奥的关键内容之一 如何对我们周围连续变化的现象进行推理和学习。Forbus认为，定性表征是人类认知的核心，它将连续现象分解成有意义单元的符号化表征。定性表征为常识推理奠定了基础，因为它们可以用非常少的数据实现实际推理，这使得定性表征成为自然语言语义的有用组成部分。通过明确可能发生的事件的类型，并建立有助于指导更多量化知识的应用的因果模型，定性表征还为科学和工程方面的专家推理奠定了基础。定性表征对于创建更具人性的人工智能系统非常重要，这些系统具有空间推理、视觉、问答和理解自然语言的能力。 Forbus讨论了知识表示和推理的基本思想以及其他主题，诸如定性过程理论、变化的定性模拟和推理、组分建模、定性空
本书由2017年图灵奖得主Patterson和Hennessy共同撰写，是计算机体系结构领域的经典书籍，强调软硬件协同设计及其对性能的影响。本书采用开源的RISC-V指令系统体系结构, 讲解硬件技术、指令、算术运算、流水线、存储层次、I/O以及并行处理器等。第2版将RV64切换为RV32以降低学习难度，新增关于领域定制体系结构（DSA）的讨论以反映新的技术趋势。此外，每一章都增加了“性能提升”和“自学”章节，并更新了大量练习题。本书适合计算机体系结构领域的专业技术人员参考，也适合高等院校计算机相关专业的学生阅读。
本书系统地介绍了语音识别的原理与应用。全书共15章，原理部分涵盖声学特征、隐马尔可夫模型（HMM）、高斯混合模型（GMM）、深度神经网络（DNN）、语言模型和加权有限状态转换器（WFST），重点描述了GMM-HMM、DNN-HMM和端到端（E2E）三种语音识别框架；应用部分包含Kaldi、ESPnet、WeNet和工业应用实践介绍，内容主要来自工程经验，极具实用性。 本书可以作为普通高等学校人工智能、计算机科学与技术、电子信息工程、自动化等专业的本科生及研究生的教材，也适合作为从事智能语音系统的科研人员和工程技术人员的参考书。
本书从基本的设计原则和准则出发，全方位介绍了设计框架的实践，是微软工程师从.NET Framework开发伊始到现如今的.NET这二十来年间宝贵经验的总结。 与第2版发布时的2008年相比，今天的软件开发范式用翻天覆地来形容也不为过，容器化、云服务、跨平台、DevOps等，都对今天的软件开发者和框架设计者提出了更高的要求。本书对第2版的内容进行了全面的更新，以适应当下发展的潮流。本书虽然是面向.NET平台上的框架设计的，但对其他平台的框架设计同样具有非凡的借鉴价值。通过阅读本书，读者可以了解到如何设计出一个对使用者而言简单、易用且具有一致性的优秀框架。
在数字化时代，公司的业务都高度依赖信息技术，研发效能已经成为信息科技企业发展的核心竞争力。研发效能在国内还处于快速探索期，还有一系列非常重要的概念需要澄清，方法和实践需要整理，问题和困惑需要解答。本书试图通过洞悉研发效能提升的底层逻辑，全方位、系统地介绍研发效能的全景。我们希望这本书是研发效能领域的百科全书，能够涵盖效能提升全生命周期的方方面面，在精心设计的逻辑结构组织下，能够对效能实践、效能工具平台、效能度量方法，以及各个行业典型案例等进行全面又有深度的解读。我们希望通过本书帮助更多在研发效能领域持续探索的企业和同行，为软件工程在国内的持续发展做出一点点贡献。
本书从网络理论的发展简史出发，引出对复杂网络的定义特性以及复杂网络理论在物流快递领域应用研究的介绍。然后，讲解复杂网络理论研究框架、网络分析软件和MATLAB应用软件的基础知识。在此基础上，以复杂网络理论研究框架作为章节划分的原则，结合具体的物流快递领域的研究案例，详细讲解复杂网络拓扑图的UCINET软件和Pajek软件绘制方法、复杂网络结构特征的UCINET度量方法和MATLAB计算方法，复杂网络模型的构建及MATLAB仿真方法，以及复杂网络博弈模型构建及MATLAB仿真方法。
p 量子信息学是20世纪80年代以量子物理学为基础，融入计算机科学、经典信息论形成的新兴交叉学科，主要包括量子通信和量子计算两个分支。本书是关于量子计算机研究，分上、下两册出版。上册是关于量子计算机原理和物理实现，下册是关于量子纠错和容错量子计算。 /p p 本书为下册，内容包括经典纠错码理论、CSS量子纠错码、稳定子量子纠错码、无消相干子空间和无消相干子系统理论、容错量子计算、拓扑量子计算等。书后附录内容包括量子力学概要、量子纠错码的群论基础、群表示理论、李群和李代数。 /p
数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心，也成为计算机科学和计算机软件与系统的天然基础。
智能的概念和内容很多，其核心思想是模拟人或其他生物的神经系统，实现各种运算和操作过程，尤其是人的智能操作。 本书由四部分组成，第一部分是概论，讨论智能计算的类型、特征、发展过程和应用问题，并介绍和其他学科的关系问题。这些学科主要是生命科学、信息科学等。第二部分是算法篇，介绍智能计算中多种不同类型的算法，详细介绍它们的计算步骤、特征、原理等有关问题，重点是讨论它们的定位问题。第三部分讨论智能的智能化问题，即这些智能计算算法在计算机和神经网络系统中的实现问题。第四部分是附录，对本书常用的数学公式、符号、名称及所涉及的一些(如数学)学科的基础知识作简单介绍和说明。
