本书是一部航天题材的科普读物，是作者在航天系统工作20余年，深入研究、采访写就的呕心之作。全书聚焦国家力量和民族智慧，以中国载人航天工程的重大节点为脉络、以时间为线索、以人物为灵魂，生动讲述了中国载人航天的发展之路，是一部严谨专业、文字生动、富有情趣，科学性、思想性和艺术性相统一的优秀作品，既可以作为普及载航天知识的教科书，也是传承载人航天精神、开展爱国主义教育的生动教材。

暂缺简介...

开发JavaScript库是入门前端领域的重要一步。本书旨在帮助前端开发者掌握现代JavaScript库的开发技术，让每个人都可以开源自己的现代JavaScript库。本书系统介绍了现代JavaScript库开发涉及的技术、原理和最佳实践，以及将库开源后如何做好维护工作。在最佳实战部分，本书选取了9个典型库作为案例，展示开发流程，代码清晰、完善。 本书既适合对现代JavaScript库开发及开源感兴趣的前端开发者阅读，也适合想要学习前端项目开发技术的初学者阅读。

本书是一本理论扎实，同时联系实际应用的图书。全书系统地介绍了因果推断的基本知识、基于机器学习的因果推断方法和基于因果推断的机器学习方法及其在一些重要领域的应用。 全书共分6章。第1章从潜结果框架和结构因果模型出发，介绍因果推断的基本概念和方法。第2章介绍近年统计和机器学习文献中出现的一些重要的基于机器学习的因果推断方法。第3章介绍能够提高机器学习模型的泛化能力的因果表征学习。第4章介绍因果机器学习如何提高机器学习模型的可解释性与公平性。第5章介绍因果机器学习在推荐系统和学习排序中的应用。第6章是对全书的一个总结和对未来的展望。本书对结合因果推断和机器学习的理论与实践进行了介绍。通过阅读本书，读者不仅可以掌握因果机器学习的基础理论，还可对本书中提到的论文代码进行钻研，从而在实践中加深对因果机器学习的理解。

本书致力于介绍图神经网络的基本概念和算法、研究前沿以及广泛和新兴的应用，涵盖图神经网络的广泛主题，从基础到前沿，从方法到应用，涉及从方法论到应用场景方方面面的内容。全书分为四部分：第一部分介绍图神经网络的基本概念；第二部分讨论图神经网络成熟的方法；第三部分介绍图神经网络典型的前沿领域；第四部分描述可能对图神经网络未来研究比较重要和有前途的方法与应用的进展情况。本书适合高年级本科生和研究生、博士后研究人员、讲师以及行业从业者阅读与参考。

在计算机出现之前，算法就已经存在了。本书旨在介绍经典算法及其起源，提供解决问题的新思路，让读者知其然并知其所以然。本书从*基础的“什么是算法”开始讨论，首先介绍如何评价算法的性能，然后展开讨论与图、搜索和排序相关的经典算法，解释“算法是怎么运作的”，*后介绍PageRank和深度学习两个大型算法应用。本书用通俗易懂的语言来描绘算法世界，穿插有趣的文化历史故事和简单易懂的例子，不涉及艰深的数学知识，即使非专业人士也能轻松读懂。

本书是教育-IIBM精品课程"大型主机系统管理技能"指定教材，共分为10章，分别为系统启动及系统数据集，系统安装和升级、目录管理、批处理作业管理、存储管理，安全管理、硬件设备管理，系统监控、系统耦合体以及主机灾备。本书内容丰富，对知识点梳理细致，并辅以管理案例，有助于读者将知识付诸实践来解决实际问题;章节内容安排循序渐进，语言翔实，既适合大型主机管理初学者，也是主机系统管理从业人员的必读书目。

数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心，也成为计算机科学和计算机软件与系统的天然基础。

本图书主要内容涉及数字化、智能化设备的理论基础、概念、意义及国内外研究现状；数字化、智能化设备特征及与传统设备差别；电网设备的数字化、智能化方法及关键技术；电网设备数据共享平台与可视化；数字化、智能化设备的工程实践；数字化、智能化设备的发展与展望等。我国电网的数字化、智能化、信息化水平电力系统的一项系统工程，其中一次设备的数字化、智能化则是该系统工程的一个先行课题。从2009年起，广州供电局在该领域开展了一系列研究与实践，期待通过写作与书籍出版，进行系统总结并供国内外相关单位交流参考，为我国设备管理做出一些贡献。

本书在内容选取上，注重实践性和应用性，突出应用型人才培养特色；突出立体化、自主学习式教学资源平台整合。全书共8章内容，主要包括计算机文化与前沿技术、计算思维导论、Windows 10应用、Word 2016 综合应用、Excel 2016 综合应用、PowerPoint 2016综合应用、Python基础应用和多媒体数据处理。对于操作应用性强的部分均设置任务，每个任务均按照“引导任务卡→任务分析→任务实施→难点解析”的顺序进行，既能覆盖全书的主要知识点和技能点，带动教学的主要内容，又能切合日常的工作、生活，实用性强。 本书不仅可以作为应用型本科院校非计算机专业学生的计算机基础教材，也可作为各类从业人员的职业教育和在职培训的计算机入门教材。