本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手,研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型,构造出了形式化服务组合行为模型WSBM的模拟执行过程,进行了W

本书主要介绍了计算机网络基础知识，对网络体系结构、网络信息安全概念与发展进行了分析，对物联网技术及发展进行了探索。

本书较系统地介绍了Photoshopcc2019的基本操作技巧和核心功能，包括基础知识、工具使用等，并结合案例来讲解，每个案例都有详细的操作步骤，将理论知识点融入案例中，突出展示了Photoshop的实际应用，以便让使用者能快速上手，熟悉Photoshop实用操作技巧,也能为后续深入学习打下基础。本书内容全面，注重理论

本书是“十三五”职业教育国家规划教材。本书采用项目教学编写方式，结合实际工作由浅入深地设置了9个教学项目，学生通过完成一个个项目任务，从实际操作中掌握网页设计与制作的基本知识，尤其是项目中的综合性任务的训练，有利于帮助培养学生综合运用所学知识的能力。本书涵盖了Adobe等公司行业认证的要求。在内容编排上设置了预备知识、

本书用通俗易懂的语言详细介绍了HTML5网页设计和应用CSS3样式美化网页。涵盖了jiaoyubu《Web前端开发职业技能等级标准》1X证书和工信部蓝桥杯全国软件和信息技术专业人才《Web应用开发》大赛的相关网页设计与制作知识点，以真实岗位生产项目、典型工作任务、案例等为载体组织教学内容并进行教学设计，重点突出教、学、

本书全面系统地介绍了计算机前沿科技VR-X3D（Extensible3D）虚拟现实交互技术的发展及应用，依托虚拟增强现实技术、可穿戴式设备以及3D打印机等前沿技术，并集成宽带网络、5G、VR虚拟仿真交互设计、游戏设计、多媒体设计、虚拟人设计、人工智能、信息地理、粒子烟火、VR-X3DCAD组件、VR-X3D事件工具组件

本书是针对中职阶段双创教育而开发的课程教材，旨在从科技角度启迪学生的创新创业思维和实践能力。从人工智能（机器人）、物联网技术应用、VR拍摄体验三方面将生产生活中有关人工智能（机器人）、物联网技术应用、VR拍摄体验的实际案例，共有30节课。本套丛书针对中职阶段双创教育而开发的课程教材，旨在从科技角度启迪学生的创新创业思维

本教材的内容共分为六个训练项目，项目一是AdobeXD的基本介绍与典型的UX设计工作流程的介绍，提高学生对AdobeXD在UI设计工作中的认识；项目二介绍AdobeXD的基本操作，让学生了解AdobeXD软件的所有工具与功能，掌握软件从安装和卸载、创建项目与画板、绘制与导入图形、添加图像和文本、编辑与组织内容等软件设计

本书共七章，内容包括：互联网：新人类的数字基因；网络安全：互联世界的“护身符”；关键信息基础设施安全：基石一样的存在；网络服务与应用安全：“黑”与“白”的对决前线等。

本书基于高职院校计算机类专业的实践教学特点和经验,以项目为载体,以任务为主线,对接岗位需求,循序渐进地对网络安全技术的知识内容进行讲解,包括网络攻防环境搭建、信息收集、Windows系统的攻击与防范、Linux系统的攻击与防范、木马攻击与防范、Web网站攻击与防范、网络协议攻击与防范、网络设备攻击与防范,以及跳板与痕迹