本书是按照教育部高等学校计算机类专业教学指导委员会组织制订的《高等学校嵌入式系统专业方向核心课程教学实施方案》的要求组织编写的。全书共11章，分别介绍嵌入式硬件系统设计基本知识、嵌入式硬件设计基础、皖入式处理器片上组件、电源设计、最小系统设计、数字通道和模拟通道设计、电机及其控制、互连通信接口设计、可靠性与抗干扰设计，

本书围绕网络空间主动防御介绍了各种信息安全主动防护技术的原理、方法和应用，包括监测预警、应急响应、安全评估、数据保护等传统信息安全技术的“主动化”新进展和新应用，并涵盖了移动目标防御、网络攻击追踪溯源等近年提出的新概念和新技术。

本书为“基于系统能力培养的计算机专业课程建设研究”项目规划教材，根据北京航空航天大学对计算机专业系统能力培养十二年改革成果编写而成。本课程的教学目标为：开发一个具有数十条指令规模且通过严格测试的功能型CPU。本书根据设计一台计算机的教学要求，重新梳理了课程体系，涉及传统意义上的数字逻辑、汇编语言和计算机组成3门课程的相

本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的，在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章，第1~4章介绍逻辑动态系统代数状态空间法；第5~8章为其各种应用，包括有限自动机的动态建模、性能分析、控制技术，合成有限自动机的建模与控

本书介绍了信息安全数学的基础内容,包括初等数论、抽象代数、椭圆曲线论等，全书选材合理、难度适中、层次分明、内容系统,书中以大量例题深入浅出地阐述信息安全数学基础各分支的基本概念、基本理论与基本方法,注重将抽象的理论与算法和实践相结合，并强调理论在信息安全特别是密码学中的具体应用实例。本书语言通俗易懂，容易自学。本书可作

优化理论研究一直是一个非常活跃的研究领域。它所研究的问题是在众多方案中寻求方案。人们关于优化问题的研究工作，随着历史的发展不断深入，对人类的发展起到了重要的推动作用。但是，任何科学的进步都受到历史条件的限制，直到20世纪中叶，由于高速数字计算机应用日益广泛，使得优化技术不仅成为迫切需要，而且有了求解的有力工具。因此，优

本书采用大量图片，通过详细的分步讲解，以直观、易懂的方式展现了7个数据结构和26个基础算法的基本原理。第1章介绍了链表、数组、栈等7个数据结构；从第2章到第7章，分别介绍了和排序、查找、图论、安全、聚类等相关的26个基础算法，内容涉及冒泡排序、二分查找、广度优先搜索、哈希函数、迪菲-赫尔曼密钥交换、k-means算法等

本书是《算法设计与分析（第4版）》配套辅助教材。本书将结合原教材的内容，进一步讨论和讲解原教材中的重点和难点，问题分析，求解思路和方法，为读者深刻体会问题求解的核心思想提供帮助。由于原教材的内容有一定的深度和难度，读者在学习和解答习题过程中会遇到一定的困难，因此本书选择了原教材的一些典型的习题和难题，给出详细的解答和分

内容提要 本书全面详细地介绍个人计算机的网络安全反黑技术，并穿插讲解关于手机安全使用的部分内容，每节从案例分析总结引入，讲解了大量实用工具的操作及安全防范知识。 本书从认识黑客与信息安全开始讲起，进而详细介绍了系统的安装/配置与修复、系统防火墙与WindowsDenfender、组策略、系统和数据的备份与还原、端口扫描

丛书简介：西方语言学视野是精选国外已经出版的经典语言学图书，前面添加国内学者撰写的中文导读进行影印出版的系列图书，适合国内语言学领域的研究者和学习者阅读参考。 本书简介：作为一本形式语义学教科书，《形式语义学的要素》着重呈现该领域研究的两个要素：一是形式分析的对象蕴涵（entailment）推理这一语义直觉。全书讨论