这是一本故事书，也是一本编程书。小男孩派森无意中闯入神秘国度—Python王国，恰好遇到了国王的鹦鹉，于是他们开始了奇幻的冒险之旅。在这个过程中，他们曾落入“大耳朵”部落、怪兽餐厅、要“名片”的迷宫，也造访过“呆头”小镇、巫师的小屋、国王的跑马场；他们打败过7眼3嘴的拦路怪兽、两个脑袋的守护者，也结识了“哲学家”、王国里“最顽固”的人、王宫的“守门人”等形形色色的角色；他们学习过古老咒语，指挥过军队演习，探究过“天马

本书主要介绍LoRa、NB-IoT和LTE这三种物联网长距离无线通信技术。在内容安排上，本书先进行理论学习，深入浅出地学习长距离无线通信技术原理和协议，然后进行案例开发实践，这些开发实践贴近社会和生活的应用场景，给出了详细的软/硬件设计和功能的实现过程，最后进行总结拓展，将理论学习和开发实践结合起来。每个案例均附上完整的开发代码，读者可在源代码的基础快速地进行二次开发。

基于"深入分析组件原理、充分展示搭建过程、详细指导应用开发”的理念，以最新版Hadoop及其生态组件为对象，采用理论与应用高度融合的方法，介绍大数据的概念、技术、方法、应用、以及项目开发。全书分为三篇，第一篇为大数据的基本概念和技术综述，第二篇为平台搭建与基本应用，内容设计Linux、HDFS、MapReduce、Yarn、Hive、HBase、Sqoop、Kafka、Spark、Phoenix等；第三篇为数据处理与

传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤，程序验证及程序验证自动化（符号演算）。测试不再是必要的。为开发相应的验证工具奠定了基础。

本书由多媒体领域三位学者联袂编写，内容取自课堂上讲述的实际素材，适合作为计算机科学和工程专业学生的教材。本书从多媒体数据表现、多媒体数据压缩、多媒体通信和联网、多媒体信息分享和检索四个层面对多媒体涉及的基本概念、基本原理和基本技术进行了详细介绍。作者用一种实用的方式来讲述基本概念，使学生能够运用享有的技术来解决现实多媒体世界中的问题。

提到"互联网思维”估计你不会陌生，最早的提出者是百度公司创始人李彦宏。智联网在思维层面引发的变革，将比互联网更为深入。我们想要适应这一个时代的变化，思维就要发生相应的转变，作为转变的第一步，读懂智联网从思维层面上带给我们的冲击是当务之急。在这里，笔者将由智联网带来的新型思维模式统称为"新智力”。新智力将是在互联网思维之上的一次迭代和探索，它将引发实体经济的革新。根据"新智力”演进与渗透的路径，本书将从技术发展、组织变

讲解了网络大数据时代应运而生的、能高效迅捷地分析处理数据的工具——Spark，它带领读者快速掌握用Spark收集、计算、简化和保存海量数据的方法，学会交互、迭代和增量式分析，解决分区、数据本地化和自定义序列化等问题。

本书不是一本简单介绍Kotlin语法应用的图书，而是一部专注于帮助读者深入理解Kotlin的设计理念，指导读者实现Kotlin高层次开发的实战型著作。书中深入介绍了Kotlin的核心语言特性、设计模式、函数式编程、异步开发等内容，并以Android和Web两个平台为背景，演示了Kotlin的实战应用。全书共13章，分为4个部分：热身篇—Kotlin基础（第1~2章），简单介绍了Kotlin设计哲学、生态及基础语法，其

本书以翔实的原理讲解和充实的实战代码剖析，全面阐述了SparkStreaming流式处理平台，便于读者能够从入门开始了解搭建Spark平台，在此基础上学习流式处理框架，并动手实践，进行SparkStreaming流式大数据处理，包括与主流平台框架，如Kafka、Redis和ZooKeeper的对接应用等，并介绍了项目实战中的一些开发和调优策略。读者能够通过本书快速搭建Spark平台，并根据自己面临的使用场景快速搭建处

随着互联网时代的发展，互联网上的广告也逐渐发展起来，网络广告课程随之成为各大高校广告等相关专业的必修课程。本书是一本使用Animate制作网络动画广告的教程，全书共11章。本书介绍了网络广告基础、AnimateCC软件入门、互动游戏式广告、移动网络广告、横幅式广告、按钮式广告、通栏广告、标识式广告、背投式广告、弹出式广告以及浮动式广告等内容。本书以案例为主，结合丰富的理论，全面细致地讲解了网络广告从构思到设计，再到制