1.书名：《天地一体化信息网络时间统一技术》
著者：蔚保国等编著
出版社：人民邮电出版社
ISBN号：978-7-115-58590-5
出版日期：2022.11
所在馆藏地点：3楼西区
索书号：TN915/71
架位号：3楼西区35排B面05列06层
摘要：本书从天地一体化信息网络系统工程的角度，重点阐述了天地一体化信息网络的时间统一技术，特别是从时间基准的建立到时间基准的维持，再到时间的广域发播和监测评估，层层递进描述网络化的时间及其传递。本书首先介绍了时间的概念及天地一体化信息网络的定义和特征，然后介绍了天地一体化信息网络的时间基准体系框架及时间基准的维持技术，并在此基础上介绍了天地一体化信息网络多节点时间同步技术及网络授时监测评估技术。本书通过对天地一体化信息网络时间基准、时间比对等技术的综合描述，以期促进天地一体化信息网络的发展及定位、导航和授时 (PNT) 技术的进步，为天地一体化信息网络、卫星导航、高精度时间传递、测控等相关专业领域的高年级本科生、研究生和工程技术人员提供参考和帮助。
2.书名：《自主管理身份：分布式数字身份和可验证凭证》
著者：普鲁克夏特，里德主编；金键译
出版社：人民邮电出版社
ISBN号：978-7-115-59973-5
出版日期：2023.05
所在馆藏地点：3楼西区
索书号：TN918.912/3
架位号：3楼西区36排A面06列05层
摘要：本书共分为四部分，第1部分对SSI进行了全面介绍 —— 它从哪里来，它是如何工作的，以及它的主要特性和优点，此部分适用于所有对SsI感兴趣的读者。第2部分专为希望深入了解SSI架构的主要组件和设计模式而无需深入到代码级别的技术专业人员设计。第3部分转向另一个方向 —— 侧重于SSI的文化和哲学起源故事，以及它对互联网和社会的最终影响意味着什么。这部分对于对隐私感兴趣的读者以及想要了解SSI和权力下放运动起源的读者尤其相关。第4部分通过行业专家探讨SSI对企业和政府意味着什么，他们传达了SSI如何应用于特定垂直市场。本书适合所有对ssI技术及网络安全和隐私感兴趣的读者，以及希望深入了解ssI架构的主要组件和设计模式的专业技术人员阅读。
3.书名：《不确定高阶多智能体系统的最优一致性算法》
著者：唐于涛著
出版社：北京邮电大学出版社
ISBN号：978-7-5635-7014-0
出版日期：2023.08
所在馆藏地点：3楼西区
索书号：TP18/370
架位号：3楼西区01排A面06列04层
摘要：本书主要介绍不确定高阶多智能体系统的最优一致性算法。全书共分11章，其中第1章概述了多智能体相关的基本概念、典型问题及其研究现状；第2章给出多智能体系统最优一致性问题的一般性描述，并提出了一种基于抽象化的分层设计方案；第3-9章针对几类典型不确定高阶多智能体系统设计了最优一致性算法，并进行了理论分析和仿真验证；第10章关注决策层的不确定性，讨论了基于非精确Oracle的最优一致性算法；第11章利用上述分层设计方案研究了不确定高阶多智能体系统的分布式博弈问题。
4.书名：《动手学强化学习》
著者：张伟楠，沈键...等著
出版社：人民邮电出版社
ISBN号：978-7-115-58451-9
出版日期：2022.04
索书号：TP181/260
架位号：3楼西区01排B面02列03层
摘要：本书系统地介绍了强化学习的原理和实现，是一本理论扎实、落地性强的图书。本书包含3个部分: 第一部分为强化学习基础，讲解强化学习的基础概念和表格型强化学习方法；第二部分为强化学习进阶，讨论深度强化学习的思维方式、深度价值函数和深度策略学习方法；第三部分为强化学习前沿，介绍学术界在深度强化学习领域的主要关注方向和前沿算法。同时，本书提供配套的线上代码实践平台，通过展示源码的编写和运行过程，让读者进一步掌握强化学习算法的运行机制。本书理论与实践并重，在介绍强化学习理论的同时，辅之以线上代码实践平台，以帮助读者通过实践加深对理论的理解。
5.书名：《贝叶斯算法与机器学习》
著者：刘冰著
出版社：北京大学出版社
ISBN号：978-7-301-33457-7
出版日期：2022.12
所在馆藏地点：3楼西区
索书号：TP181/259
架位号：3楼西区01排B面02列03层
摘要：本书从贝叶斯理论的基本原理讲起，逐步深入算法、机器学习、深度学习，并配合项目案例，重点介绍了基于贝叶斯理论的算法原理，及其在机器学习中的应用。本书分为10章，涵盖了贝叶斯概率、概率估计、贝叶斯分类、随机场、参数估计、机器学习、深度学习、贝叶斯网络、动态贝叶斯网络、贝叶斯深度学习等。本书涉及的应用领域包含机器学习、图像处理、语音识别、语义分析等。本书整体由易到难，逐步深入，内容以算法原理讲解和应用解析为主，每节内容辅以案例进行综合讲解。
6.书名：《PyTorch深度学习实战》
著者：史蒂文斯，安蒂加...等著；牟大恩译
出版社：人民邮电出版社
ISBN号：978-7-115-57767-2
出版日期：2022.02
所在馆藏地点：3楼西区
索书号：TP181/261
架位号：3楼西区01排B面02列03层
摘要：本书指导读者使用Python和PyTorch实现深度学习算法。本书首先介绍PyTorch的核心知识，然后带领读者体验一个真实的案例研究项目: 构建能够使用CT扫描检测恶性肺肿瘤的算法。你将学习如何用有限的输入训练网络，并开始处理数据，以获得一些结果。你将筛选出不可靠的初始结果，并专注于如何诊断和修复神经网络中的问题。最后，你将研究通过增强数据训练、改进模型体系结构和执行其他微调来改进结果的方法。通过这个真实的例子，你会发现PyTorch是多么有效和有趣，并掌握在生产中部署PyTorch模型的技能。
7.书名：《图神经网络：基础、前沿与应用》
著者：吴凌飞，崔鹏...等编
出版社：人民邮电出版社
ISBN号：978-7-115-59872-1
出版日期：2022.12
所在馆藏地点：3楼西区
索书号：TP183/104
架位号：3楼西区01排B面03列01层
摘要：本书致力于介绍图神经网络的基本概念和算法、研究前沿以及广泛和新兴的应用，涵盖图神经网络的广泛主题，从基础到前沿，从方法到应用，涉及从方法论到应用场景方方面面的内容。全书分为四部分: 第一部分介绍图神经网络的基本概念；第二部分讨论图神经网络成熟的方法；第三部分介绍图神经网络典型的前沿领域；第四部分描述可能对图神经网络未来研究比较重要和有前途的方法与应用的进展情况。
8.书名：《数据浪潮：大数据技术演进之路》
著者：吴垚编著
出版社：人民邮电出版社
ISBN号：978-7-115-57924-9
出版日期：2022.10
所在馆藏地点：3楼西区
索书号：TP274/563
架位号：3楼西区02排B面04列05层
摘要：本书既介绍了数据管理系统的技术发展史，又介绍了数据管理系统的关键技术内涵，同时还介绍一系列主流的商业化产品及其架构，并对前沿技术进行了讨论分析，给出作者自己的见解和洞察。本书内容主要包括数据库与大数据的诞生、发展和商业应用，数据库与大数据之间的关系，国产数据库的国际化，数据管理系统的共同之处，数据管理系统的算法理论、前沿技术等。
9.书名：《新印象：解构UI设计》
著者：王铎编著
出版社：人民邮电出版社
ISBN号：978-7-115-59778-6
出版日期：2022.12
所在馆藏地点：3楼西区
索书号：TP311.1/243-1
架位号：3楼西区04排B面06列05层
摘要：这是一本全面介绍UuI设计的书，是帮助初、中级读者快速学习UI设计知识、技巧和操作的参考书。本书从UI设计: 基础入手，结合大量的案例分析，全面深入地讲解了UI设计的界面类型、界面构图、版面布局、元素运用、界面用色、设计原则与规范、切图与标注、图标设计及艺术二维码设计等方面的内容。通过丰富的实战练习，帮助读者轻松而高效地掌握UI设计的相关技术。随书附带所有实战案例的源文件和素材文件，供读者下载，方便读者练习。
10.书名：《高级语言程序变换的机械化证明导论》
著者：何炎祥，江南著
出版社：科学出版社
ISBN号：978-7-03-073167-8
出版日期：2022.09
所在馆藏地点：3楼西区
索书号：TP311.1/267
架位号：3楼西区04排B面06列06层
摘要：随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。
