本书以Altera公司全新推出的Quartus Prime 18.1为设计平台，结合大量的实例来介绍基于Verilog HDL的FPGA/CPLD数字系统的设计方法。本书由浅入深地介绍了采用Quartus Prime 18.1进行数字系统开发的设计流程、设计思想和设计技巧。书中实例丰富，既有简单的数字逻辑电路实例、数字系统设计实例，也有复杂的数字控制系统设计实例。

本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。

" 本书是一本介绍计算机网络基础知识及实际应用的综合实践性教材，主要介绍计算机网络的基本概念、网络体系结构、数据通信的基本概念、网络协议、局域网技术、广域网技术、网络操作系统、网络应用与管理、网络安全等内容，精心设计了10个实训项目，非常适合职业教育重点培养技能的教学特点。
本书理论联系实际，操作性强，具有很高的实用价值，适合高职院校和其他高等院校物联网专业的学生学习，是项目管理师、监理工程师的案头必备资料，也可供相关专业的工程技术人员与管理人员参考。
"

本书首先介绍了IoT安全领域, 介绍了常见的IoT威胁, 并提供了一个威胁建模框架, 其中包括将体系结构分解为组件并使用攻击树来识别威胁。基于此, 读者可以开发一种安全测试方法, 发现被动侦察的无声艺术, 并对物联网系统的所有层进行全面的手动安全评估, 进入IoT网络并执行VLAN跳变, 破解MQTT身份验证, 通过滥用UPnP穿透防火墙, 开发mDNS中毒程序以及进行WS-Discovery攻击。后面的章节专门针对硬件黑客, 介绍UART和JTAG/SWD的内部工作原理, 并探讨如何

本书的主要内容有：在避免常见的PL/SQL反模式的同时构建可靠的PL/SQL解决方案。了解为什么将复杂的业务逻辑嵌入SQL往往是一个容易出问题的选择。学习如何识别和改进薄弱的PL/SQL代码。通过运行数据驱动的数据库内测试来验证PL/SQL代码。理解复杂PL/SQL系统的安全操作、维护、修改。学习思考特征而非只是用例的好处。

"计算机科学是当下最火热的学科之一，看似复杂、高大上，其实离每个人并不遥远。本书作为该学科的专业科普图书，通过常见的生活场景切入 38 个计算机科学知识点，涵盖计算机科学本科教育中的经典课程，包括大一、大二必修的“程序设计”“数据结构”“算法”课程，以及大三、大四选修的“数据科学”“机器学习”“智能系统”“信息安全”“计算机硬件”等课程。每个知识点通过独立故事呈现，读者可以按任意顺序阅读。
本书**的特色是，以一个个日常生活中的寻常事例来讲计算机科学，没有公式和代码，旨在从原理和本质上讲

"本书内容丰富，注重实践，不仅涵盖了AutoCAD 2023软件的基础知识，还结合大量的实际案例，针对性地介绍了软件的主要功能和新特性，帮助读者深入理解并掌握AutoCAD 2023的应用。
本书可作为工程设计领域的基础教材，也可作为高等学校计算机绘图课程教材和工程技术人员绘图应用参考用书。"

本书的主要内容有：了解为什么eBPF近年来变得如此重要，以及它如何成为构建强大基础设施的关键技术。学习大量的eBPF代码示例，从Hello World，到安全事件检测和操作网络数据包等。学习如何编写eBPF程序并将它们附加到不同事件上，实现内核的灵活扩展。理解eBPF验证器如何确保程序安全运行，及如何使eBPF程序能够在不同内核版本之间实现可移植性。了解eBPF组件如何与Linux内核进行交互，动态改变操作系统的行为。

为保障软件供应链安全和抢占全球创新制高点，一些国家政府和大型企业大力扶持开源软件。开源软件由于在开发时间、空间、人员和项目管理上的诸多特点而大大增加了开发的复杂性，进而使得开源软件质量具有不确定性。针对这一问题，《数据驱动的开源软件缺陷管理研究》*次聚焦于开源项目资源库挖掘这一主题，展示如何利用大数据驱动方法支持开源软件缺陷管理。《数据驱动的开源软件缺陷管理研究》的内容包括开源软件项目缺陷预测、开源软件项目缺陷分配和开源软件项目缺陷定位。在缺陷预测方面，针对软件缺陷数据的非均衡性、多模

本书首先对工业物联网中时钟同步的重要性和相关研究进展进行简要介绍；然后详细介绍时钟同步基本模型，对影响时钟同步参数估计性能的主要因素——时延进行分析，并阐述典型的时钟同步方法；基于这些分析，对面向工业物联网的基于双向交互的校正式同步参数估计方法、多跳网络中的校正式同步参数估计方法、基于定时响应的免时间戳同步参数估计和基于免时间戳交互的时钟参数跟踪方法进行研究。