本书系统地讲解了利用形式化方法对网络协议及系统进行安全性分析的原理、流程和典型工具，结合科研实例深入浅出地介绍了形式化安全方法的范畴、类型和使用技巧。全书内容密切围绕国家安全战略需求，紧跟时代发展，是对多年来该领域的科学研究与工程实践中基本原理与共性技术的归纳总结。本书分为三个单元，共8章。第一单元（第1～4章）主要介

本书以MCS-51系列单片机为核心，从嵌入式系统的基础理论讲起，逐步深入到单片机的工作原理、开发基础、编程技术、接口技术和应用实例等多个方面，为读者提供了一个完整的MCS-51系列单片机嵌入式系统学习体系。 本书结合单片机仿真软件Proteus和单片机集成开发环境KeilVision，以C51为开发语言，介绍了嵌入式系

本书介绍了网络个人标识信息的概念、研究意义，阐述了国内外隐私保护相关法律法规的理念和区别，分析了国内外隐私泄露检测技术研究的区别与联系，总结了海量网络流量数据信息采集及数据预处理的框架和基本方法，并结合用户实体行为分析、网络流量协议分析和自然语言处理等技术，提出了个人标识信息隐私泄露检测方法。 本书可作为计算机科学与技

本书探讨软件研发领域数字化管理的策略与实践，涵盖从数字化转型的重要性、实施步骤到效果评估的全过程。本书分9篇，共19章，第一篇介绍为什么转型和核心管理概念，帮助读者寻找问题出在哪里，出路又在哪里；第二篇聚焦组织战略，探索如何构建团队及明确战略定位和目标；第三篇讲解研发过程，强调需求层级体系、产品研发过程和团队协作；第四

《AdobeAnimate2024经典教程》由Adobe产品专家编写，是AdobeAnimate2024的经典学习用书。《AdobeAnimate2024经典教程》共9课，每一课先介绍重要的知识点，然后借助具体的示例进行讲解，步骤详细，重点明确，能帮助读者尽快学会如何进行实际操作。本书主要包含认识Animate、创建图

JavaScript是目前非常流行的网页前端开发技术之一。本书利用大量案例深入浅出地介绍了JavaScript程序设计的基础知识。本书分为3篇，第一篇为初识JavaScript，主要包括JavaScript简介；第二篇为JavaScript基础知识，包括JavaScript基本语法、JavaScript程序构成、Jav

本书以时间流线为经，以项目管理的三要素（质量、进度、投资）作纬，概述数据中心全过程的概念和优势，介绍项目前期工作、规划设计、工程实施、运维管理等阶段，以及不同的建设模式，旨在提供数据中心项目管理指引，帮助数据中心从业者实现安全可靠、节能降碳的建设目标，推动数据中心行业朝可持续发展的方向转型。本书适合数据中心建设和运维的

本书是一本面向Web前端开发学习者的入门图书，以项目驱动式的体例、通俗易懂的语言，详细讲解HTML5+CSS3+Bootstrap响应式Web开发技术。 本书共10章。第1～2章讲解HTML和CSS的基础知识；第3章讲解表格和表单；第4章讲解JavaScript与视频、音频；第5章讲解阶段项目—在线学习平台；第6章讲解

本书从应用实践出发，寓教于实操，详细介绍虚拟化技术的基础内容和操作技能，共包括6个项目，分别是KVM概述、使用Libvirt创建和管理虚拟机、使用virt-manager创建和管理虚拟机、虚拟网络的配置和管理、网络存储架构的搭建和使用、KVM镜像管理与桌面虚拟化。通过具体实验，读者能够更透彻地理解理论知识，了解虚拟机技

AutoCAD作为工程设计领域软件工具的典范，凭借卓越的性能成为设计师的得力助手。随着人工智能（ArtificialIntelligence，AI）技术的日新月异及其在各领域的广泛应用，AutoCAD的功能范畴与应用技术也随之产生了变化，AI辅助AutoCAD绘图极大地提升了设计效率，推动设计领域迈上了新台阶。本书旨在