本书依据国务院印发的《国家职业教育改革实施方案》的要求，针对中职院校学生的培养目标，按照相应岗位的工作内容，系统地介绍了Premiere视频剪辑技术，包括初识视频剪辑与Premiere、视频剪辑技术、制作视频效果、制作转场特效、视频调色、添加与编辑音频、添加与编辑字幕、输出与发布短视频等。本书内容新颖、注重实操，在案例操作为主线，能够充分满足职业教育教学需求。

本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。

本书根据网站建设与管理发展的新特点，结合中小企业网站建设实例，具体介绍Web技术基础，Web技术实训，网站策划，建站技术，建站工具的使用方法，网站测试与上传，网站推广，网站评价、管理和升级等基本知识，并通过实训加强训练，从而提高学习者的应用能力。
本书知识系统，贴近实际，注重专业技术与实践应用相结合，既可作为应用型大学计算机应用、网络管理、电子商务等专业的教材，也可以作为企业信息化培训的教材，还可以为广大中小企业网站建设从业人员及管理人员提供有益的学习指导。

本书创新性地采用游戏单元-游戏关卡一游戏任务三级体例编写，全程以游戏任务驱动，引导读者学习并掌握C语言编程的基本知识和方法。全书共有11个单元，包括初识C语言，数据，运算，顺序结构，选择结构，循环结构，函数，数组，指针，结构、链表和预处理，以及文件。本书以游戏化思想设计和编写，注重游戏性、可操作性和实用性，并且本书的所有游戏任务都已经完成在线平台实践课程的建设，可实现在线评测。本书各单元均配有课后习题、参考答案和代码。
本书的设计编排、配套的教学大纲和教案，以及游戏化教学方法均基于工程

编程思维可以分解为4个部分：问题分解，模式识别，抽象思维，算法设计。这是一种高效且实用的思维方式，尤其在处理看起来很复杂的问题上，非常有效。生活上处处可以运用编程思维。在21世纪的今天，各项各业都已经和信息技术相结合，科学研究更是如此，由此而产生众多交叉学科，编程便成为了交叉学科的*基本技能。编程思维涵盖了反映计算机科学之广泛性的一系列思维活动，是适合每个人的一种普遍的认识和一类普适的技能。本教程希望通过Blockly可视化编程语言作为编程入门工具，通过类似拼图的方式构建出程序，结合游戏案

本书详细地介绍了软件测试的相关知识。全书共9章, 第1章主要讲解软件测试的基础知识, 第2-3章主要讲解黑盒测试方法与白盒测试方法, 第4-7章主要讲解接口测试、性能测试、Web自动化测试和App 测试的相关知识, 第8-9章通过一个综合项目--安享智慧理财, 完整呈现软件测试的全过程, 帮助读者巩固前面所学的相关知识。

软件测试是软件工程领域的重要分支。本书作为该领域的入门级著作，在内容上基本涵盖了软件测试学习基础知识的各方面。全书共12章，大致可分为3部分： 第1部分（第1、2章）介绍软件测试的基础知识及模型规范； 第2部分（第3～9章）阐述了软件测试中经典而常用的软件测试分类及方法（黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试、回归测试）； 第3部分（第10～12章）重点介绍面向对象软件测试、软件测试自动化等软件测试发展方向和软件测试的过程与管理。每章都附有习题，以便读者及时强化知识，推进探索

本书系统介绍自然语言处理（即自然语言理解）的经典和前沿技术内容，包括学科发展的简要背景、
基础的建模方法和典型的语言处理任务。本书围绕语言模型展开并贯穿其中，包括 n元语言模型、连续空
间语言模型（词嵌入）以及前沿的预训练语言模型。
现代自然语言处理建立在机器学习的基础之上。无论针对传统机器学习还是针对现代深度学习，本书
统一以结构化学习的脉络展开，统一阐述典型的语言处理任务的普遍性机器学习建模方式，包括词切分、
序列标注以及树结构解析。同时，本书以一种统一的观点梳

本书共分为11章，内容包括Photoshop网店美工设计快速入门，网店美工图像处理基本操作，选区的创建与编辑，图层的高级应用，调整图像的色调与色彩，网店图像的修复、修饰与绘制，路径的创建与应用，蒙版与通道的应用，文字的创建与应用，滤镜在网店美工设计中的应用，以及网店商品视频制作。

职场中，几乎人人都会使用 PPT 软件，但却不是人人都能制作出优秀的 PPT 作品。会用 PPT 软件和会 制作优秀的 PPT 作品是两个不同的技能境界。如何才能让自己的 PPT 在众多 PPT 中脱颖而出呢？仅仅掌握 一些 PPT 操作技巧，显然已经无法满足当下 PPT 学习者的需要，还需要掌握软件操作之外的一些知识，如 PPT 设计思维、色彩美学等。 本书以最新版的 PowerPoint 2021 软件为例，打破常规写法，从各行各业的读者学习、制作 PPT 过程中 真实的“痛点”出发，即以