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

全书共8章，可以分为3部分。第1部分是基础入门，包括第1章至第3章，介绍游戏的分类和游戏制作中岗位的划分，讲解在游戏制作中常用的3ds Max软件的界面、基础操作等知识，以及建模过程中常用工具的参数设置和操作方法，再通过一个具体的弩车案例讲解了模型的制作思路和操作方法。第2部分为道具场景制作，包括第4章至第6章，主要通过宝箱、武器斧子、游戏场景模型和3转2场景案例来分解具体模型的创作思路、制作过程及制作完成后的渲染输出设置。第3部分主要是游戏角色的制作过程，包括第7章和第8章，分别以游戏中

《C#程序设计案例教程（第2版）（微课版）》采用“案例引导+任务驱动”的编写方式，深入浅出地讲解了C#程序设计的基本方法。
《C#程序设计案例教程（第2版）（微课版）》重点讲解了C#程序设计语言的基本语法和常用方法，采用语法与实例相结合的形式，将C#基本语法以及各种编程对象融合到具体实例中，侧重培养学生解决实际编程问题的能力，同时又可增强学生对C#编程思想的理解。
《C#程序设计案例教程（第2版）（微课版）》共分为18个单元，涵盖四大专题，包括C#语言基础、Windows编程、数据访

本书基于目前在工业界使用最为广泛的JDK 8编写，结构新颖、概念清晰、面向应用。全书共14章，分为3篇: 第一篇为入门篇，用6个例子引导读者尽早逐步建立面向对象的思维方式和培养基本的程序设计能力，将Java基本语法贯穿其中；第二篇为应用篇，主要介绍基于API的开发，包括输入/输出流与对象序列化、Java网络程序设计、图形用户界面开发和JDBC数据库编程，本篇旨在培养读者的基本应用程序开发能力；第三篇为晋级篇，主要介绍Java高级技术，包括设计模式、Java泛型编程与集合框架、Java多线程和函数

本教材共分两个部分，第一部分主要介绍C语言程序设计实验的基本目的与要求，以及计算机程序设计的基本过程；第二部分包含14个实验，主要训练学生基本编程技能； 每个实验由实验目的、预备知识、实例解析、实验内容四部分组成，其中："实验目的”对学生提出本次实验的预期目标；"预备知识”帮助学生总结本次实验所需的理论知识；"实例解析”通过精心选择的例题向学生讲解如何应用相关知识解决具体问题，以更好地帮助学生进行实验准备工作；"实验内容”除了提供传统的编程题目供学生练习外，还提供程序分析题、程序改错题、程序测

本书对接信息技术的相关岗位需求，主要满足高等职业教育信息技术类相关专业Java程序设计课程的教学需要，分为Java程序设计基础（学习Java基础）、Java面向对象（学习Java面向对象）、Java核心技术实战（实现多人聊天室系统）和Java实用场景开发（实用场景应用开发）四部分，并通过鸿蒙App开发、多人聊天室系统，以及发送邮件和短信、生成和识别二维码、识别车牌等具有代表性的实用案例项目来讲解Java程序设计基础、Java面向对象、多线程、集合框架、I/O流、网络编程、异常处理、GUI等Jav

"本书是“十三五”职业教育国家规划教材，也是国家精品在线开放课程、职业教育国家在线精品课程、江苏省职业教育课程思政示范课程“程序设计基础”的配套教材。　　本书以程序设计方法为核心，以算法、数据结构为主线，坚守以“立德树人”为根本，以培养能力、提高兴趣为目标，改传统授课方式为信息化教学方式，把程序设计领域最新、最有价值的思想和方法渗透到C语言教学中，强化学生灵活运用这些思想与方法分析和解决实际问题的能力，培养具有科技报国情怀、创新协作能力和历史使命担当的新时代程序设计者。　　本书以“身高

"本书是“十二五”普通高等教育本科国家级规划教材，是一本兼具趣味性和实用性的C程序设计教材。全书由14章组成，内容包括：为什么要学习编程，基本数据类型、基本算术运算符，键盘输入和屏幕输出，选择控制结构，循环控制结构，函数与模块化程序设计，数组和算法基础，指针，字符串，指针和数组，结构体和数据结构基础，文件操作以及简单的游戏设计。     本书以应用为背景，面向问题求解和编程能力的训练，从实际问题出发，在案例的不断深化中逐步引出知识点，形成“程序设计方法由自底向上到自顶向下”和“数据结构

本书从三维建模和数控加工的应用和实践出发，通过八个项目、数十个案例，详细介绍了NX三维设计与多轴数控加工。本书主要内容包括NX草图绘制与约束、基于特征操作的三维建模、基于曲线曲面的产品设计，平面铣削加工，型腔铣与固定轮廓铣加工、3+2定向孔系加工、五轴联动加工工艺鼎、叶轮的加工等内容。

"本书是“十三五”职业教育国家规划教材修订版。       本书将网页制作课程中使用频率较高、具有代表性的案例按照知识点和技能点归纳、整理，构建8个单元、55个任务，内容包括HTML5静态网站开发概述、HTML5中常用标签的使用、CSS基本应用、CSS3高级应用、页面局部布局、页面整体布局、Bootstrap5框架简介和HTML5+CSS3综合案例。全书采用支持HTML5的Web集成开发环境——HBuilderX作为开发工具，不仅提供了大量个人计算机端网站制作案例，还介绍了基于Boot