码农书籍网其它书籍pdf电子书下载

《嵌入式计算系统设计原理（原书第5版）》是由玛里琳·沃尔夫编著,全书从组件技术的视角出发，以嵌入式系统的设计方法和过程为主线，涵盖全部核心知识点并辅以示例分析，同时贯穿着对安全、性能、能耗和可靠性等关键问题的讨论，构建起一个完整且清晰的知识体系。...

《数学思维3》是由罗伯特·布利策编著,本书是一本非数学专业主要是文科及艺术类专业的数学教材，讲述方式活泼，案例贴近生活，读者可以在轻松学习中体会数学乐趣和意义。全书分为三大部分：归纳和演绎、逻辑和数；代数和几何；概率统计和图论。...

《面向计算机科学的数理逻辑》是由迈克尔·休斯编著,数理逻辑是计算机科学的基础之一，在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品（电路、程序和通信协议等）日趋复杂，数理逻辑已经成为设计开发人员的日常工具。 作为计算机及其相关专业的数...

《TOGAF标准第10版（中文版）》是由开梵标准编著,本书介绍了TOGAF?标准第10版（中文版）的基本内容，是TOGAF?标准的组成部分之一，包括 TOGAF?标准的简介和核心概念、架构开发方法、ADM 技术、应用 ADM、架构内容、EA 能力与治理六...

《计算机安全导论（原书第5版）》是由伊斯特姆编著,本书是一本有关计算机安全的入门书籍，系统地讲述了计算机安全的基本概念、计算机攻击与相应的防护技术、计算机安全管理三方面的知识，全面涵盖了计算机安全领域的各类问题，书中的许多提示和案例反映了安全行业的新趋势以及攻击与防御方面的前沿技术。...

《一本书读懂半导体》是由井上伸雄编著,这是一本半导体科普书，介绍了半导体的相关知识。在开始学习之前，通过序章，首先介绍半导体有什么了不起之处、半导体的类型和作用、半导体是如何制造的，以及半导体发挥作用的领域。之后通过5章具体的内容，阐述半...

《形式语言与自动机导论（原书第7版）》是由彼得·林茨编著,本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。...

《软件测试导论》是由拉尔夫·比瑞格编著,软件测试可以被视为一门艺术、一门工艺或一门科学，而本书中提出的一种循序渐进且实用的方法在这些不同的视角之间提供了一座桥梁。书中涵盖多种测试技术，首先介绍其优缺点，然后深入细节，帮助读者理解其基本原理。...

《软件工程导论 原书第5版》是由弗兰克·徐编著,本书是一本概要介绍软件工程核心内容的导论性教材，完整覆盖了从初始阶段到发布、支持阶段的软件系统生命周期，讨论了贯穿软件生命周期的过程、质量保障及项目管理等问题。新版涵盖了技术和工具方面的一些新改进，同...

《技术工程师的24堂设计思维课》是由安德森编著,本书分五篇，分别为设计思维基础、全面理解、求异思维、交付价值和迭代推动进展。本书首先概述了设计思维模型的各个阶段；其次介绍了设计思维的内容、方式、时间、原因和对象，提出了设计思维四阶段模型，并说明了该模型如何应用于个人和团队...