本书旨在培养学生动手实践逆向和漏洞分析的技能，由浅入深，从基础工具使用讲起，逐步过渡到相对复杂的漏洞挖掘工具使用，最后介绍真实的漏洞分析案例，可以综合训练学生的漏洞分析思维。本书的亮点是漏洞挖掘工具的使用，分别介绍与污点分析、符号执行、模糊测试这三种技术相关的主流工具，通过实例来介绍其具体的使用方法和过程。

本书围绕编译程序分析、设计和实现方面的主题，介绍上下文无关文法、有限自动机的基础知识，以及构造程序设计语言编译程序的一般原理、设计方法和实现技术，包括词法分析、语法分析、语义分析、中间代码生成、目标代码生成、运行时刻环境和代码优化；设计了一个案例语言，给出该语言翻译器的分析、设计和实现的完整过程；介绍了开源编译器GCC

本书是作者在20多年的教学科研经验和对**实践观察体验基础上思考研究的成果，其核心观点是：**力是实现国家治理体系和治理能力现代化的核心动力。**力是知行合一的综合性影响力，是在娴熟掌握和利用**规律基础之上的科学**而产生的广泛的影响力量。无知的**是一种盲动，知而不行的**是一种空谈。本书在力求厘清**学理论的基础

本书旨在系统介绍绿色增长测度与评价的研究范式。全书在剖析绿色增长发展脉络的基础上，从理论、方法到实践三个篇章对绿色增长进行解析。通过对比新旧古典经济增长理论的不同理论模型，界定绿色增长的理论基础。在解析绿色增长的概念特征和理论模型的基础上，构建绿色增长评价的指标体系、方法与理论模型，并结合不同研究区域的绿色增长特点，分

痕量金属，尤其是重金属，对水体造成的污染成为全球备受关注和担忧的水环境问题之一。水体中痕量金属一旦达到一定浓度，就会对环境产生负面影响，甚至危及人体健康。本书以黄河源区至入海口整个干流为研究区域，以水体、悬浮物、沉积物及鱼体组织中痕量金属为研究对象，结合流域土地覆盖和社会经济要素，对黄河水环境中痕量金属在大空间尺度下的

宗日遗址是目前黄河上游地区**经过考古发掘证实马家窑文化、宗日文化、齐家文化、卡约文化共存的一处重要古遗址，对深入研究青海高原本土文化的发展演变，解决黄河上游史前文化交流、人群迁徙、技术传播、环境变化、生业模式演变等重大学术课题具有重要的学术价值。2022年是宗日遗址发现40年，本书不仅收录了1994年至1996年重要

本文集收录作者从事考古工作五十年间先后发表的都城、陵墓、考古学国家文化等相关研究论文49篇，学术史与其他相关论述7篇及附录2篇。内容涉及秦汉乃至隋唐时期都城、陵墓的发现与研究，以及在此基础上展开的中国古代都城、陵墓、殡葬文化的综合研究和从考古学出发的国家文化研究。

本书在参考《甲壳动物学》（下册）的基础上，结合国内外经济甲壳动物胚胎发育等相关的研究进展编写而成。全书内容包括甲壳动物的形态及解剖、常见甲壳动物的分类及鉴别、常见甲壳动物的发育过程观察、创新性及综合性实验4部分。本书的创新性及综合性实验部分是参考目前经济虾蟹人工选育和生长性能测定中经常碰到的一些具体操作而设定的，具有较

本书按照教育部《高等学校非计算机专业计算机基础课程教学基本要求》编写，并结合师范类大学教育的特点，添加了旨在提高学生师范技能的内容。本书主要内容包括：计算机基础知识、计算机硬件和软件系统知识、Windows10的功能与使用、文字处理软件Word2019、表格处理软件Excel2019、演示文稿制作软件PowerPoin

本书共4章。第1章为度量空间,讲解度量空间的拓扑结构、度量空间中集合的性质、完备的度量空间。第2章为赋范线性空间,包括赋范线性空间的结构、有界线性算子与泛函、泛函延拓定理、有限维赋范线性空间。第3章为Hilbert空间理论,首先讲解内积空间的构造和标准正交基,然后是Hilbert空间的主要定理,最后是Hilbert空间