本书以Python 3.7为编程环境，基于基本的程序设计思想，逐步展开Python语言教学，是一本面向广大编程学习者的程序设计类图书。全书分为两篇，共11章。基础篇(第1~9章)主要讲解Python的基础语法知识、控制语句、函数、文件、面向对象编程基础、Tkinter图形界面设计、Python数据库应用和Python文本处理等知识，并以小游戏案例作为各章的阶段性任务； 提高篇(第10、11章)介绍科学计算和可视化应用、Python数据分析，最后讲解一个综合性案例——学生成绩统计分析。本书的**特

本书通过一个完整的项目讲解如何使用 Visual Studio 2019（C#）开发基于 SQL Server 数据库的 Windows窗体应用程序。 本书主要内容包括认识项目、主窗体开发、数据维护窗体开发、系统登录及权限管理、学生选课、选课抽签及抽签结果查询、统计查询、RDLC 报表、系统完善、控件开发、LINQ 技术、使用 ClickOnce 部署项目； 拓展项目通过网上购物系统介绍了使用 Visual Studio 开发 Web 项目的强大功能，有利于读者进一步了解 Visual Stud

本书是按照《Web前端开发职业技能等级标准2.0版》（高级）编写的配套实践教程，书中涉及的项目代码使用国产的HBuilder X开发工具编译，并且均可在主流浏览器中运行。本书将中、高职业院校和应用型本科院校的计算机应用、软件技术等相关专业开设的Web前端开发方向的课程体系，与企业Web前端开发岗位能力模型相结合，依据《Web前端开发职业技能等级标准2.0版》（高级）技能要求，形成三位一体的Web前端开发技术知识地图。案例编排以实践能力为导向，以开发企业真实应用为目标，遵循企业软件工程标准和技术开

本书重点介绍Python语言在数据处理与数据挖掘方面的应用技巧，主要包括数据分析基础知识（数据收集与分析软件、数据挖掘的分析基础、简单数据的统计分析），数据分析高级方法（多元数据的综合分析、时序数据的模型分析），大数据基本处理方法（大数据分析基础应用、文献计量与科研评价、社会网络分析方法、数据分析编程平台）等内容。附录中还提供了Python数据分析相关方法和函数等，方便读者随时查看。本书内容丰富，图文并茂，可操作性强且便于查阅，主要面向数据分析的读者，能有效帮助读者提高数据处理与分析的水平，提升

本书以工业机器人技术及应用为主线，从工业机器人的基础理论、结构认知到控制编程和典型应用，以“理论知识+实践项目”的方式组织内容。 本书以认识工业机器人和对工业机器人进行简单示教编程为目标，通过大量的图片和实例，对工业机器人的认知、工业机器人的运动学基础、工业机器人的机械系统、工业机器人的动力系统、工业机器人的传感系统、工业机器人的控制系统、工业机器人的示教与编程、工业机器人的典型应用等方面进行了介绍。内容紧跟时代特征、新颖全面，注重理论知识和实践技能的有机结合。 本书

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

随着科学技术的快速发展，信息技术在社会各个领域进行不断深入运用和融合。“新工科”教改的一波浪潮之后，“新文科”教改也接踵而至。高校专业建设面临着新的时代使命和挑战，需培养出符合未来社会与经济发展需求的新型人才。

本书通过大量实例，深入浅出地介绍了Python的基础语法，让读者在解决实际问题的过程中，掌握Python语言程序设计的基础和应用。通过案例引导读者学习，弱化语法规则，突出领域应用，强调数据分析，让非计算机专业的学生也能通过数据分析实践感受人工智能的魅力。

全书

随着互联网技术的广泛应用和网络规模的不断扩大，很多时候要求网络工程师熟悉并能应用不同厂商的产品，按需求搭建网络并负责其维护和升级。本书融合了多厂商技术，以当前主流厂商思科和华为的设备为基础，重点讲述了网络互联技术问题，涵盖了网络互联基本概念、二层交换技术、三层交换技术、路由技术、公网接入技术、网络安全技术、网络规划与设计、网络故障检查等方面的知识。本书内容贴近工作实际，围绕网络互联技术的规划设计和使用展开论述，并通过众多的案例来帮助读者理解和实现网络互联。本书可作为本科院校网络工程、计算机科学与

虚拟化作为云计算的核心技术之一，是多种云服务实现和交付的基础。本书详细讨论了云计算和虚拟化技术，包括虚拟化与云计算概述、云计算基础设施、虚拟化平台介绍、部署虚拟化平台、虚拟化平台基本功能、虚拟化平台高级功能、维护虚拟化平台、云平台介绍。本书的**特点是理论与实践紧密结合，通过在H3C虚拟化平台上进行大量而翔实的实验，能够使读者更快、更直观地掌握云计算和虚拟化理论与动手技能。本书附有实验手册。
本书是H3C认证系列教程之一，是为对云计算和虚拟化技术感兴趣的人员编写。对于专业的科学研究人员与工

本书在“大众创业,万众创新”的时代背景下,结合当前高等院校创新实践课程,总结基于Arduino开
源硬件的开发方法,并给出系统开发Arduino智能硬件产品的实际案例。主要内容包括: 开源硬件的发
展,常用的开发板及编程语言,Arduino硬件设计,Arduino入门程序设计,库文件的使用方法,外围设备、
传感器和模块的原理、电路连接和实例程序。
本书讲解由浅入深,引导读者先思考后实践,将创新思维与实践相结合,以满足不同层次人员的需求;
同时,本书提供实际项目的电路