本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。

本书以MATLAB2020版本的功能叙述为主，由浅入深地全面讲解MATLAB软件的知识。本书自始至终采用实例描述，内容完整且各章相对独立，是一本简明的MATLAB参考书。本书涉及面广，涵盖一般用户需要使用的各种功能，并详细介绍MATLAB常用工具箱的使用。全书共15章，前12章主要介绍MATLAB的基础知识、数组及其操

《Python程序设计案例教程》是一本实用易学、轻量级的Python入门教材，以30个实用案例为载体，详细介绍了Python语言的基础知识和编程思想，内容包括Python语言概述，基础语法，流程控制语句，字符串与正则表达式，列表、元组、字典等常用数据结构，函数，异常处理，文件操作，模块和包以及面向对象编程。每章后都配有

本书是软件工程领域的经典著作，自第1版出版至今，几十年来在软件工程界产生了巨大而深远的影响。本书涵盖软件过程、建模、质量管理、项目管理等主题，对概念、原则、方法和工具的介绍细致、清晰且实用。

本书以实用为导向，从基础概念、语法结构、应用案例、开发技巧等方面深入浅出地介绍了Python的程序设计方法以及项目实现流程。本书以实例方式进行讲解，每个实例程序都通过了验证。本书内容图文并茂，操作步骤完善，并附有具体脚本代码，易于掌握和学习。本书提供开放式的课程网站（http：//www.cmu.edu.cn/comp

本书是一本入门级的Linux学习教材，内容由浅入深，案例丰富，通俗易懂！书中分两部分：前面为基础知识，涉及安装、登录、文件和目录管理、磁盘管理、Vim、压缩和解压缩等；后面为进阶知识，包括LAMP、LNMP、NFS、FTP、Linux集群和Zabbix监控等。与上一版相比，这版不仅将虚拟机软件由VMware10改为VM

C语言程序设计实例教程（第三版）(“十二五”职业教育国家规划教材；经全国职业教育教材审定委员会审定）

Python——数据科学的手段（第2版）（数据分析与应用丛书）

这是一本能让读者高效掌握短视频剪辑技法的教程。 全书共7章，主要介绍Premiere在短视频剪辑中的必备工具和操作技法，短视频剪辑的核心思路和常用技法，并用2个电影感短视频剪辑实训进行综合练习。本书还对自媒体网络节目的运营和剪辑注意事项做了介绍，并通过真实案例进行剖析。 本书在内容讲解过程中加入了较多实用的提示。这些提

bash是Linux下常用的shell。用户可以通过bash，以命令的形式操控Linux系统。作为一本bash用法速查手册，本书主要内容包括：标准输出和输入以及执行命令；shell变量、shell逻辑和算术；中级shell工具和高级脚本；使用find、locate和slocate查找文件；处理日期和时间；编写安全的sh