【丛书介绍】“中国基础研究报告”丛书是国家自然科学基金委员会首次组织的整体展示我国基础研究水平和格局的丛书，系统展示了我国重点布局的关键基础研究领域的重大原创成果，反映了我国近年来在基础前沿领域的飞跃式发展，代表了我国基础科学研究的最高水平。丛书主编杨卫院士评价该丛书为“我国基础研究的‘史书’记载”。该丛书可为今后的研究者提供丰富的科研素材和创新源泉，将引领相关学科研究领域的持续发展，对推动我国基础研究发展和世界科技强国建设起到积极的促进作用，对实现我国重大基础研究成果的传播和普及具有重大的社会和经济价值。 【本书介绍】《The Fundamental Research for Trustworthy Software（可信软件基础研究）》本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，由何积丰院士担任主编，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性重要成果和进展进行了深入阐释。本书主编为何积丰，计算机软件专家，主要从事计算机软件理论及应用研究。

本书主要讲解利用AutoCAD 2020中文版软件和天正建筑T20 V6.0软件绘制各种建筑平面施工图的实例与技巧。全书分为4部分，共25章。第1部分介绍了建筑设计基本理论、AutoCAD 2020入门知识、二维图形绘制命令、编辑命令、辅助工具。第2部分介绍了建筑总平面图、建筑平面图、建筑立面图、建筑剖面图与详图等建筑图样及其绘制方法。第3部分以某住宅小区为例，详细讲解了建筑施工图的设计方法。第4部分介绍了应用天正建筑T20 V6.0软件绘制建筑施工图的各种方法和技巧。本书面向初、中级用户以及对建筑制图比较了解的技术人员，旨在帮助读者用较短的时间熟练地掌握使用AutoCAD 2020中文版软件和天正建筑T20 V6.0软件绘制各种建筑实例的方法与技巧，提高建筑制图设计与绘制的质量。为了方便广大读者更加快捷高效地学习，本书配赠了内含本书所有实例操作的视频文件和源文件的电子资源。

数据图表是数据分析与可视化常见的表现形式，它不但能直观地显示复杂的数据，高效地表达观点，而且能启发读者思考数据的本质、分析数据并揭示数据背后的规律和问题。本书分为3 篇（共11 章），分别是基础篇、进阶篇和实战篇，摒弃以往的说明书式教学，由浅入深，遵循“以点及线，以线及面”的对比学习方法。另外，书中有大量职场案例和好看的图表模板可以直接应用到实际工作中，使读者即学即用。

本书系统地介绍了计算机的组成与基本运行原理；从最底层的电路设计开始，层层揭秘了计算机软、硬件的实现逻辑。 本书分为5章，依次从硬件、软件、网络、编程和应用方面切入，使用通俗的语言和丰富的图解，帮助读者高效地理解计算机的知识。 本书深入浅出，既可作为高等院校计算机相关专业的参考读物，也可作为计算机相关从业人员和计算机业余爱好者的入门科普读物。

这是一本全面讲解如何用Jira工具平台（尤其是精益看板）为敏捷项目管理赋能的著作。本书用详实的实战案例和丰富的图文系统介绍了Jira的基本功能、应用技巧、二次开发、精益看板实现路径，能帮助企业优化研发流程，实现高效的需求管理、项目管理等，提升研发效能，实现敏捷项目管理转型。本书分为三部分，各部分的侧重点不同，以便读者有针对性地按需阅读。第1部分 Jira基础（第1～3章）首先介绍了Jira的必备常识，以及它的安装与配置；然后通过一个项目实操案例对Jira各项功能和基本使用进行了详细介绍。第二部分 Jira进阶（第4和5章）详细讲解了Jira的搜索、筛选器、面板、报表、仪表盘、项目模块、权限管理等高级功能，以及Jira的核心优势——方案自定义能力。第三部分 Jira实战（第6～11章）对科大讯飞落地Jira精益看板的全过程进行了复盘，介绍了精益看板的概念、作用和实现路径，内容非常详尽，企业可以结合自身诉求进行参考复用。

本书从数字和进制的诞生开始，以一系列具有代表性的计算工具和计算思维为例，讲述人类如何一步步制作出强大的现代计算机。本书依次介绍了计算机发展中的手动时期、机械时期、机电时期、电子时期，并描述了充满可能的未来时代。本书语言深入浅出，既可作为计算机业余爱好者的入门科普读物，也适合作为高校相关专业学生和从业者了解计算机发展历程的参考读物。

本书结合案例介绍了产品经理需要用到的各种产品设计方法和思路，帮助读者将从本书所学到的知识灵活地运用到自己的工作中。本书主要内容包括产品原型设计过程中输入、反馈、输出等类型控件的使用方法，产品原型的设计方法，通用的产品功能设计方法，通用的产品逻辑，基础系统产品的设计思路，通用的产品体系，通用的产品设计方法，通用的产品设计原则， 通用的产品管理方法。本书不仅适合产品经理阅读，还适合运营人员、设计人员阅读。

照由浅入深、循序渐进的方式，讲解软件的新特性和操作方法，使读者能够快速掌握SolidWorks软件的设计技巧。 对于SolidWorks软件的基础应用，《SolidWorks 2022完全实战技术手册》内容讲解得非常详细。通过实例和方法的有机统一，使本书内容既有操作上的针对性，也有方法上的普遍性。《SolidWorks 2022完全实战技术手册》图文并茂，讲解深入浅出、繁就简、贴近工程，把众多专业和软件知识点有机地融合到每章的具体内容中。《SolidWorks 2022完全实战技术手册》的体例结构生动而不涩滞，内容编排张驰有度，实例叙述实用而不浮烦，能够开拓读者思路，提高读者阅读兴趣，使其掌握方法，提高对知识综合运用的能力。 通过对《SolidWorks 2022完全实战技术手册》内容的学习、理解和练习，能使读者真正具备SolidWork设计者的水平和素质。《SolidWorks 2022完全实战技术手册》既可以作为院校机械CAD、模具设计、数控加工、产品设计等专业的教材，也可以作为对制造行业有浓厚兴趣的读者自学的教程。

● 本书是作者围绕软件工程能力所做的系列培训的内容汇编。这些内容来源于作者20 多年以来对软件工程的学习体会和项目实践，以及对中国工业界软件工程师的观察和教育实践。 ● 全书共8章，第1 章说明了什么是软件工程能力，阐述了软件工程能力中的素质要求。第2～8章分别从代码、文档、项目管理这三个方面讲解了提升软件工程能力素质的实践方法。 对于代码，第2章"代码的艺术”对其进行了总体说明，第3 章重点说明了代码评审，第4章以Mini-spider 为例说明了方法如何运用。 对于文档，第5章说明了如何写好项目文档，第6章说明了做研究的基本方法。对于项目管理，第7章简要说明了如何做好项目管理，第8章重点说明了如何做好项目沟通。

★本书汇总了软件工程原则。原则是关于软件工程的基本原理、规则或假设，不管所选的技术、工具或语言是什么，这些原则都有效。 ★全书共9章，第1章为引言，后面8章将201个软件工程的原则划分为8个大的类别：一般原则、需求工程原则、设计原则、编码原则、测试原则、管理原则、产品保证原则和演变原则。 ★本书面向的读者包括软件工程师和管理者、软件工程专业的学生、软件工程领域的研究人员等。 ★本书由百度公司支持出版。百度以技术创新为信仰，在创新投入、研发布局、人才引进方面均走在国际前列。百度一直秉承着“科技为更好”的社会责任理念，坚持运用创新技术，聚焦于解决社会问题，履行企业公民的社会责任，为帮助全球用户创造更加美好的生活而不断努力。