张友生、王勇编著的《软件设计师考试冲刺(习题与解答全国计算机技术与软件专业技术资格水平考试参考用书)》由希赛教育软考学院组编，通过对历年试题进行科学分析、研究、总结、提炼而成。作为计算机技术与软件专业技术资格（水平）考试中的软件设计师级别的考试辅导指定教材；内容紧扣考试大纲，每章内容分为考点提炼、强化练习、习题解答三个部分。 本书基于历年试题，利用统计分析的方法，就考试重点和难点知识指导读者进行强化练习，既不漏掉考试必需的知识点，又不加重考生备考负担，可使考生轻松、愉快地掌握知识点。

阿尔伯特陈著作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forreal analysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。

本书核心目的是帮助考生顺利通过软考中项考试。 作者 10 多年来一直从事软考中项的考试培训工作，根据数万名考生的反馈，发现考生大部分已工 作、学习时间不够充足，因此他们都希望花更少的时间顺利通过考试。如何做到？ 必须有重点、有针对性地学知识、练技能。 应该学习哪些重点知识？对于备考中项的考生而言，什么是“重点知识”？答案就在中项历年考 试的题目当中，重点知识就是那些试题中经常考的知识。本书第二篇讲述这些重点知识，称之为“考 点精炼”。“考什么学什么”这样才高效省力。 练习什么技能？就是将学到的知识灵活运用到考试中，并能答对题拿到分的那些技能。例如：选 择题中感觉模棱两可的选项该怎么选择？案例题中如何用挣值分析法去计算项目绩效、预测未来成 本？这是本书第三篇的内容，称之为“专题冲刺”。 除了备

本书是全国计算机专业技术资格考试办公室编写的软件评测师考试大纲（2021年审定通过）。本书还包括人力资源和社会保障部、工业和信息化部的有关文件以及考试简介。 软件评测师考试大纲是针对全国计算机技术与软

《计算机文化基础CCT考试真题解析》的主要内容包括CCT考试的客观题解析、本章节的核心知识点、典型试题分析、工作中的操作技能等方面。教师结合多年的教学经验，整合、总结教材中的内容形成本辅导教材中的内容，《计算机文化基础CCT考试真题解析》便于教师教学、学生学习。本书由马章勤、李娅主编。