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

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

本书以网络体系结构OSI/RM(开放系统互联参考模型)为主线，围绕计算机体系结构、网络底层协议分析、网络高层协议应用、网络安全配置、无线网络部署及IPv6网络搭建与部署设计了6个项目(共包含22个任务)，以项目任务引出网络协议的基本概念与原理，且同一个项目中各任务的内容具有关联性，难度递进。任务中涉及的延伸性内容放在拓

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

智能推荐系统正在深刻地改变着人们有效获取信息的方式，为人们的工作与生活带来了很大的便利。 本书系统介绍了智能推荐系统的理论、应用及未来发展。全书共11章，分为智能推荐系统技术基础和智能推荐系统的应用两部分。基础部分包括第1章至第6章，涵盖了传统推荐方法和大模型在推荐系统中的应用；应用部分包括第7章至第11章，详细介绍了

本书是海军工程大学对海对潜通信重点学科重点建设教材。书中主要介绍了微波技术的基本概念、基本理论和基本分析方法。全书包括绪论及六章内容。绪论讲解了微波的定义、微波技术的发展;第1章电磁场基础理论,是对先修课程电磁场与电磁波相关知识的总结和提炼;第2章传输线理论,讲述了微波在各种均匀无耗传输线中的传输原理;第3章波导和平面

本书以习近平总书记在全国教育大会上的讲话精神为引领，参照新时期高校人才培养规划方案和最新的《大学英语教学指南》的目标要求编写而成。 全书共6章，每章包括4个部分，分别为ListenandRespondReadingTaskHomeReadingTaskComprehensiveLanguagePractice。其中：L

本书是根据最新税收法规和会计准则编写的，书中深度挖掘和提炼了专业知识体系中所蕴含的思想价值和精神内涵，科学合理地拓展专业课程的广度、深度，增加了课程的知识性、人文性。本书按照高等职业院校新的专业教学标准，以会计职业岗位实践能力培养为主线，以工作项目与工作任务为中心组织内容，既涉及企业实际所需的知识，又考虑了会计证书考试

植物大战僵尸2恐龙漫画系列图书是中少大低幼为游戏迷和恐龙迷们打造的一套寓教于乐的科普漫画故事书。这套书将植物大战僵尸2游戏中的经典角色豌豆射手、菜问、坚果等带到遥远的中生代，与恐龙这一神奇生物相遇，共度一场场充满冒险与欢乐的旅程，同时也为小读者打开解恐龙的一扇窗。《龙之权杖》：菜问是个恐龙迷，有一天，他发现恐龙在地球上

百变玩具书：每月采用抽拉、翻折、弹跳等不同工艺，形式多样，互动丰富，让阅读变成快乐的游戏。动脑动手的阅读方式，充分锻炼孩子的观察力、手眼协调能力，培养孩子阅读兴趣。主题游戏：跟随嘟嘟熊的脚步，在探险的旅途中解决谜题、克服困难，综合锻炼多种能力。侦探游戏：搜集线索、寻找相同、判断真假……富有挑