本书带领读者通过练习掌握编写现代C程序的方法和技巧。全书分为11章，首先概述C语言编程的基本概念，然后详解C语言的所有构成要素，包括变量、对象、函数、数据类型、运算符、表达式、控制流、动态内存分配、预处理器等，最后带领读者利用这些构成要素构建实用的系统，学习如何调试、测试、分析代码。学透本书，你就能成为专业的C程序员，编写出安全、高质量、可移植的C程序。 本书适合所有想编写优秀C程序的读者阅读。

本书围绕计算机代码的验证工作，以代码验证的背景和历史发展为切入点，从微分方程出发，提出了一个逐步验证代码精度阶的方法和流程。重点讨论了在验证过程中如何设计一套具有覆盖性的测试相关问题。详细介绍了精度阶验证的有关内容，包括代码验证和解验证、代码确认的区别，人造精确解方法，并给出了精度阶验证的实例。

本书介绍了SSL、TLS和DTLS协议的基础理论和工程化实践经验，深入地论述了涉及的密码知识以及在互联网应用过程中遇到的实际问题，包括协议结构、工作原理、安全性分析及其面临的攻击，公钥证书管理及其常见问题与易犯错误等内容。本书以大量的现实应用问题作为牵引，特别是对SSL、TLS和DTLS在真实网络环境下的实际配置与部署进行了系统分析与探讨，并以应用范例的方式介绍了网络协议的安全性分析与测试方法。

书中阐述了网络物理和社会系统（CyberPhysicalandSocialSystems,CPSS）中大数据与物联网的联系和遇到的问题，介绍了情景意识和决策支持的分析模型，描述了信息的表征和表示方式，给出了融合方法和数据处理策略，并提出了基于FIAT的复杂环境决策支持。基于分析和信息融合的核心概念，本书还介绍了通过FIAT计算模型进行集成的方法以及系统级的应用。此外，本书总结了一系列有助于实现例如国防、安全等关键应用领域所需FIAT集成的前瞻性研究。

基于当前VR的发展现状，全书主要介绍了VR系统的硬件设备，包括VR感知设备，交互设备，跟踪设备和虚拟世界生成设备；VR系统的相关技术等。

本书探讨人工智能技术及其与视觉图像处理技术的融合，在论述人工智能与视觉图像的发展、人工智能技术与视觉图像处理的契合之后，首先对人工智能的基础技术与应用技术进行探究；然后对视觉图像处理的关键技术进行探索；最后阐述人工智能技术在视觉图像处理中的应用。

本书通过8个项目32个任务对SolidWorks软件基础应用的相关知识和方法加以详细讲解，以图文对照方式进行编写，注重内容编排的系统性、全面性、科学性和实用性，内容重点突出，逻辑结构清晰，编排科学合理。

本书详细介绍使用Photoshop、Dreanweaver和Animate制作网页的方法与技巧，力求帮助读者快速掌握网页制作技能。本书共13章，主要包括Photoshop基本操作，图像色彩与色调的调整，图像画面修饰与文本添加，抠图工具和命令的运用，DreamweaverCC基本知识，网页基本对象的插入，网页多媒体对象的插入，表格和表单的使用等内容。

本书针对计算机视觉三维重建理论与应用展开研究,在计算机视觉概述的基础上系统地分析了图像的形成、图像的处理和图像的局部特征,不仅采用了理论与实际相结合的方式,还配有相关图片,便于读者理解。同时还研究了纹理分析和模型拟合,在此基础上,深度探究了计算机视觉三维重建理论和计算机视觉三维服装建模的应用,全书具有语言简洁、条理清晰、重点突出、内容详尽等特点,可为相关研究人员提供一定的借鉴,旨为解决信息技术产品的可扩展性、易用性和低成本等问题。

本书主要内容包括51单片机基本硬件知识(I/O口控制、定时器、中断等)，以及编写单片机程序的C语言基础知识，基本外围硬件包括LED灯、独立按钮、钮子开关、数码管、128*64/1602液晶、32x16点阵；高级应用包括单片机与计算机通信、双机通信、与组态软件MCGS的Modbus-RTU通信、多任务模块化编程、RTX-51Tiny操作系统等。