本书是主教材《C/C++程序设计》（黄龙军编著，清华大学出版社出版）的配套习题解析，针对主教材的绪论、程序设计基础知识、程序控制结构、数组、函数、结构体、指针和链表等8章的课后习题进行解析，同时提供编程题的C++风格和C风格代码，有助于培养学生的计算思维，分析、解决具体问题的能力及创新能力。
本书以问题求解为主线，可作为高等学校计算机类、电子信息类及自动化类等专业学生的“高级语言”“C语言程序设计”“C++过程化程序设计”等课程的配套教材，也可以作为C/C++语言自学者、开发者的

本书主要以C/C++语言描述过程化程序设计，包括绪论、程序设计基础知识、程序控制结构、数组、函数、结构体、指针和链表等8章内容，介绍程序设计的概念、思想和方法，培养学生的计算思维和分析与解决具体问题的能力及创新能力。
　　本书以问题求解为主线，注重实践能力的培养，可作为高等学校计算机类、电子信息类及自动化类等专业学生的“高级语言”、“C语言程序设计”及“C++过程化程序设计”等课程的教材，也可作为C/C++语言自学者、开发者的入门参考书，对主讲程序设计基础课程的教师也有一定的参考作用。

本书是为已学过C语言程序设计、具有程序设计初步知识的读者编写的，是与作者编著的《C++面向对象程序设计》（第4版，清华大学出版社出版）一书配套的辅助教材。本书包括3部分：《C++面向对象程序设计》（第4版）习题与参考解答；C++的上机操作，这部分介绍了在3种典型的环境下运行C++程序的方法，即Visual Studio 2010、在线编译器和GCC；上机实验内容与安排，这部分提出了上机实验的指导思想、内容与要求，供教学参考。
　　本书的教学资源可在清华大学出版社网站下载，包括《C++面向对

《信息系统设计与建模》详细介绍了信息系统设计及UML系统建模的思想和具体方法，内容包括信息系统与面向对象技术概述、UML概述、Rational Rose的使用、用例图、类图与对象图、包图、顺序图与协作图、状态图、活动图、组件图、部署图和双向工程，最后以应急救援指挥调度系统和安全培训题库管理系统两个案例详解UML各种技术的综合应用。
《信息系统设计与建模》采用理论结合案例的方法进行讲解，理论讲述清晰，技术讲解细致，案例丰富。在讲述UML案例时，结合了使用比较广泛的UML开发工具Rationa

微波遥感有着全天候、全天时的工作能力，能够实现实时的动态监测，另外对于冰、雪、森林、土壤等地物具有一定的穿透能力，这些优点使得微波遥感不论是在军事上还是在民用上都发挥着非常重要的作用。本书是为微波遥感原理与应用课程实习准备的指导书，循序渐进地介绍了课程实习中微波遥感影像数据的查看，影像处理、影像融合和影像解译。此外，本书还全面且深入地对合成孔径雷达干涉测量技术的应用进行了详细的说明，包括对数字高程模型的获取、地表变形信息提取等处理流程和操作步骤的详细介绍和结果展示。
本书可作为高等院校

本书的主要内容是Web前端开发中的HTML与CSS部分，包含HTML5和CSS3内容。本书由6个项目组成，项目的整体设计从基础知识开始，然后介绍各网页元素，到综合，其中，项目1介绍HMTL基础和CSS基础，项目2至项目5介绍常用网页元素及其样式，项目6是综合内容。从项目的选题到内容的设计方面，融入了课程思政元素，如我的理想、北京冬奥会、社会主义核心价值观、志愿服务、垃圾分类等等，实现了思想政治教育与知识教育有机统一。

SpringBoot不是代替Spring，而是使Spring项目可以更加快速地开发、部署和测试。它采用了“约定优于配置”的理念，在内部提供了大量的starter，而这些starter又提供了许多自动配置类，让开发者可以奉行“拿来主义”，开箱即用。本书采用“任务驱动”的编写模式，由浅入深、循序渐进、全面系统地介绍了SpringBoot开发技术。全书共设计为9个项目，分别为SpringBoot开发入门、开发第一个SpringBoot程序、SpringBoot核心配置和注解使用、Spring

本书是计算机网络专业重要的核心课程，学习掌握好Java程序设计已经成为网站及网络信息系统从业工作的先决和必要条件。主要介绍Java开发和运行环境、Java基本语法、面向对象的程序设计、集合类、异常处理机制、文件输入/输出流操作和？图形界面设计等内容。

协作机器人是指能够与人在同一场景工作的机器人。协作机器人往往具有人机协作安全性，快速示教能力，轻量化设计等特点。由于协作机器人使用方便，操作灵活，在工业，教育等领域有着广泛的运用。协作机器人可以作为机器人方向的入门课程，让读者了解机器人的现状。本书既可作为智能制造本科专业必修课程教材，也适合其他专业（如机械、控制、电气、计算机、管理、工业工程等）学生选修课程的教材。对于企业从事相关工作内容的工程师和管理人员而言，此书不失为一部有价值的向导。

本书提出了一种基于形式化模型的严密的系统设计方法，阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。