本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念广泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证，具有较高的实用性。本书不仅可以作为高等学校计算机相关专业的编程语言理论课程教材，也可供相关领域的科研人员和技术人员参考阅读。

本书贯彻理论与实践相结合的原则，深入浅出，配以大量实例分析，循序渐进地介绍了Web开发的基本概念、JSP开发运行环境的搭建、Servlet程序的开发、JDBC、过滤器、JSP内置对象、自定义标签和标签库等内容。本书主要面向具有一定HTML基础和Java程序设计基础的读者，不仅可作为计算机类相关专业的本科生“JSP程序设计”课程的教材，也可供从事Java Web程序开发从业人员学习和参考。

本书突出创造性思维训练的特点，体现以编程实现思维训练启蒙的新观念，注重科学思想的传播、艺术思想的熏陶和智慧教育的启迪。全书共4篇，16章。第1篇（第1和第2章）介绍思维训练启蒙新观念与创新途径；第2篇（第3～7章）为Pascal语言思维训练启蒙基础，主要包括Pascal语言基础知识，简单的选择结构、循环结构和数组编程；第3篇（第8～12章）为Pascal语言思维训练启蒙拓展，主要包括函数、过程、字符与字符串编程、编程联合调试能力训练以及应用拓展范例；第4篇（第13～16章）为思维训练启蒙新的飞跃，主要包括思维训练启蒙与智慧大师（哥白尼、伽利略、牛顿、霍金、爱因斯坦）创造力的启迪，日月星辰运行规律探索领悟，思维训练启蒙与明其“道”。本书讲解细致，注重整体性，突出细微变化的创新点。经典算法和编程原理通俗易懂，范例从简单的单体开始，再逐步演变成复杂的组合体。本书零基础启蒙，适合思维训练初学者，尤其适合青少年编程爱好者，也可供青少年教育工作者参阅。

本书的特点是由浅入深，从基本的Python安装、基础语法开始讲起，逐步深入到数据类型、数据结构、函数使用、面向对象编程、文件操作、图形用户界面、数据分析、数据库编程、网络编程以及Web应用和多线程操作。在介绍语法时，本书并没有像一些语法书那样教条死板地讲定义，而是利用示例代码生动地让读者在实践中体会一个个知识点。同时基础结合实训，在本书后两章节通过项目案例巩固所学的知识点。本书分别介绍了Python的安装、Python条件、循环语句、列表和函数、字符串、元组和字典，主要包括字符串、元组和字典的基本属性和常用方法、面向对象设计和异常处理、文件读、写等相关操作、图像用户界面、数据分析和数据可视化等知识。Python是一种面向对象、直译式计算机程序设计语言，也是一种功能强大而完善的通用型语言，已经具有十多年的发展历史，成熟且稳定。

德国标准DIN66025是国际上*的数控标准之一。数控PAL是德国工商会应用数控标准DIN66025进行数控编程教学及考核的简称。本书通过图解的形式全面介绍了数控标准DIN66025的编程指令，以项目的形式全面讲解数控车、数控铣编程基础，并对数控车、数控铣编程进行项目化专项训练。同时，将PAL数控编程与SINUMERIK、HEIDENHAIN、FANUC、HNC、GSK数控编程进行对比，便于读者掌握与过渡。本书所有项目通过德国KELLER软件的验证，所有编程项目通过机床实际加工验证。

《Visual Basic程序设计教程/全国高等农林院校“十三五”规划教材》被列入全国高等农林院校“十三五”规划教材，是按照教育部高等学校农林类计算机基础课程教学指导分委员会制定的“程序设计基础”课程教学基本要求而编写的。《Visual Basic程序设计教程/全国高等农林院校“十三五”规划教材》首先简要介绍软件工程、数据结构与算法的基本概念和理论。在此基础上，以VisualBasic6.0作为程序设计语言，主要讲授面向对象程序设计的概念与方法、程序设计的基本思想与方法、常用算法等。《Visual Basic程序设计教程/全国高等农林院校“十三五”规划教材》通俗易懂，由浅人深，循序渐进，并配有大量的实例。《Visual Basic程序设计教程/全国高等农林院校“十三五”规划教材》可作为高等学校农林类专业非计算机专业本科学生程序设计课程的教材，也可以作为全国计算机等级考试的自学辅导用书及从事计算机工作的技术人员自学VisualBasic程序设计的参考用书。

本书内容主要包含实用教程、实验指导和综合应用实习三部分，实用教程部分首先介绍Java EE 开发环境构建，并通过一个简单的Java EE 程序介绍开发过程、简单调试方法，以了解大致过程；其次系统介绍Struts 2 基础、Struts 2 标签库、Struts 2 类型转换及输入校验、Struts 2 拦截器、Struts 2 的其他应用，通过综合应用案例把Struts 2 的相关内容串起来；再次介绍Hibernate 基础、Hibernate 映射机制、Hibernate 对持久化对象的操作、Hibernate 高级特性，通过应用案例整合Hibernate 与Struts 2；最后介绍Spring 基础、Spring 的AOP及事务支持、Spring 的其他功能，通过案例用Spring 整合各种Java EE 框架，案例分别采用Spring 与Struts 2 整合、Spring 与Hibernate 整合、Spring 与Struts 2 和Hibernate 整合的方法，读者可以清楚地进行对比。习题主要用于强化基本概念。实验指导部分着重训练学生的动手能力，训练内容仍然是实用教程部分的实例。综合应用实习部分介绍学生成绩管理系统。本书免费提供教学课件、程序源代码和没有冲突的Jar 包。

《计算机程序设计基础教程：C++语言》遵循以计算思维能力培养为切入点的教学改革思路，以C++语言作为实现工具，介绍程序设计的基础知识与基本方法。全书的主要内容有程序设计概述、基本数据及运算、流程控制、函数、批量数据的组织、复杂数据及运算、类与对象、类的继承与派生、多态性与虚函数、模板与STL简介、输入输出流、异常处理。在《计算机程序设计基础教程：C++语言》编写过程中，考虑到初学者的认知特点以及培养程序设计能力的教学要求，对C++语言本身的语法规则做了适当处理和组织编排，突出C++语言的重要概念和本质特点。全书以实际问题的求解过程为向导，突出从问题到算法、再到程序的一种思维过程，强调计算机求解问题的思路引导与程序设计思维方式的训练，既介绍C++语言在面向过程程序设计中的应用，又介绍C++语言在面向对象程序设计中的应用，重点放在程序设计的思想与方法上。《计算机程序设计基础教程：C++语言》可作为高等学校计算机程序设计课程的教材，也可供参加各类计算机等级考试的读者以及社会各类计算机应用人员阅读参考。

本书侧重于培养学生使用Java语言进行面向对象程序设计的思想和技能，而并非对Java技术进行百科全书式的介绍。本书以初学者为起点，对面向对象思想进行深入透彻的剖析。全书用9个任务和2个综合应用作为内容载体，通过任务分析，引入相关的知识和技术，同时精选了大量的生活案例来形象地溶解知识，在对案例衬托相关知识铺开阐述基础上，通过任务实施来完成任务导引中提出的任务，从而达到强化技能培养的目标。为使本书内容通俗易懂，激发学生的学习兴趣，书中的任务以故事形式描述，并配以逼真的图片说明，通过口语化的语言将抽象的知识形象化，从而增强学生对知识的理解与运用。与市面上的其他Java教材相比，本书的不同之处主要体现在以下几个方面：1．教材特色-层次递进，任务驱动以“l+1+1”的结构逐层深入，即一个基础（Java语法基础）、一个核心（面向对象核心）、一个应用（面向对象简单工厂模式应用）。每章由一个任务开始，首先通过任务导引、任务分析，引出知识点。然后通过任务实施，将知识加以运用，从而掌握面向对象程序设计思想和技能。每个任务实施，就是一个读程序、学知识、用知识、写程序的过程。·案例经典，图文并茂以案例为核心。书中的案例均来源于生活，以故事讲述的形式展开，构思巧妙，并配以形象逼真的图片说明，将复杂的知识简单化。编排新颖，案例讲解细致，步骤详实，方便读者自学。案例之外，前有技术准备，后有技术扩展，因此知识体系完备。一面向对象，深入浅出本书强调“面向对象”编程思想，以面向对象为宗旨，无论是任务和项目的选取，还是例题的阐述，都紧扣“面向对象”这个主题，处处渗透面向对象编程思想，重视思想和方法的传授，而不是知识的简单罗列。在任务的构思、设计、实施、运行中将面向对象的三大特征发挥得淋漓尽致，能够使学生更容易体会并掌握面向对象编程思想，为进一步深入学习打下基础。

本书以职业素养为核心，以客户体验为切入点，以产教融合为主线，坚持按照实用性、实践性、前瞻性的原则编写，培养“德技兼修”的企业客服人才。按照企业客服的岗位流程，共设计“初识客户服务”“学会客服技能操作软件”“建立客户服务关系”“维护客户关系”“实施客服数字绩效”“构建客户关系管理平台” 6个企业客服的真实任务。对接客服岗位需求，设计客服技能知识点的操作步骤，引导学生“做中学、学中做”。新增“1 X”证书所需的合页式笔记与新技能，有效衔接企业客服所需新技能，满足企业对客服技能的新需求。本书可作为职业院校市场营销专业、电子商务专业、物流管理专业、财务管理专业的教材，也可以作为企事业单位客服部、营销部的培训教材，或作为社会从业人士的参考读物。