本书主题为基于最弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容：一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。回顾软件测试技术近几十年的发展历程，分析该技术的重要地位、目前的现状及面临的主要困境。分析作为软件质量维护重要环节的软件修复，并进一步细化软件修复的重要步骤

本书主要面向应用型大学计算机类专业学生，从程序员的视角出发，围绕可执行文件的生成、加载和执行，重点介绍如何利用计算机系统相关知识来编写更有效的程序。全书将每个环节涉及的硬件和软件的基本概念关联起来，帮助学生建立完整的层次框架，从而加强系统观。本书共分8章，涵盖计算机系统基础、高级语言程序、数据的机器级表示、数据的基本运

本教材落实立德树人的根本任务,通过理论知识学习、基础技能训练和综合应用实践,培养中等职业学校学生符合时代要求的信息素养和适应职业发展需要的信息能力。课程通过多样化的教学形式,帮助学生认识信息技术对当今人类生产、生活的重要作用;理解信息技术、信息社会等概念和信息社会特征与规范;掌握信息技术设备与系统操作、网络应用基础、图

本书通过具体示例演示大规模C++开发的基本设计设想，为各种规模的项目奠定基础，并演示成功进行大规模实际开发所需的过程、方法、技术和工具。通过阅读本书，读者可以逐步改变自己的设计和开发方法。本书旨在使用软件从业人员熟悉的C++构件来解决现实问题，同时确定（并激发）现代C++替代方案。作者利用超过30年的构建大规模、关键任

中望?3D是一款专门基于Windows系统开发的三维CAD软件，该软件以参数化特征造型为基础，具有功能强大、易学易用等特点。本书系统地介绍了中望?3D2021?中文版软件在草图线框绘制、三维造型建模、装配体动画设计、工程图设计等方面的应用。本书的特点是将软件基本操作与产品设计相结合，通过实例介绍常用工具的功能及属性设置

本书为职业本科计算机类专业基础课MOOC+SPOC系列教材。 本书围绕职业本科教育计算机类专业人才培养目标，结合“Python程序设计”课程定位及学生认知特点，从实践的角度出发，全面介绍Python语言的环境搭建、基本数据处理、流程控制、批量数据处理、文本数据处理、函数应用、模块化编程、文件读写操作和面向对象编程等内容

本实验指导结合了实际工程案例，基于新华三的云教学领航基础服务平台包含实验机架管理基础功能、用户中心功能、实验报告功能、云端连接功能，实训教学与实验教学管理功能等。基于新华三的计算机网络实验室已于2020年7月建设完成，目前已使用3年，实验室里面的设备共9组，教师机1组，学生机8组。网络实验室方案从逻辑上可分为实验台区域

Cinema4D(C4D)是视频设计师的B备工具。本书全面阐述了C4D的各种建模方法，并用案例介绍了产品建模技术。通过本书可以让读者全方位了解C4D。 本书共10章，内容包括进入C4D的世界、初识C4D、C4D基本操作、C4D工程文件管理、C4D参数化对象、NURBS建模、造型工具组、变形工具组、对象和样条的编辑操作以

本书是一本面向应用的计算机组成原理教程。全书共9章：第1章从计算和编码两方面介绍现代计算机的处理对象二值符号；第2章引导读者建立计算机系统的整体框架；第3章介绍计算机的存储系统；第4章介绍I/O接口与I/O过程控制；第5章介绍计算机核心部件控制器的工作原理和基本设计方法；第6章在架构层面介绍处理器中的并行技术；第7章介

本书以组网、建网、管网和用网为出发点，循序渐进地介绍了网络基础知识、TCP/IP、局域网组网技术、Internet应用和Internet网络服务等内容。全书共分三篇：TCP/IP网络基础、局域网基础与应用、Internet应用。其中，TCP/IP网络基础篇包括4章内容：计算机网络概论、计算机网络体系结构、数据通信基础、