這是一本故事書，也是一本編程書。小男孩派森無意中闖入神秘國度—Python王國，恰好遇到了國王的鸚鵡，于是他們開始了奇幻的冒險之旅。在這個過程中，他們曾落入“大耳朵”部落、怪獸餐廳、要“名片”的迷宮，也造訪過“呆頭”小鎮(zhèn)、巫師的小屋、國王的跑馬場；他們打敗過7眼3嘴的攔路怪獸、兩個腦袋的守護者，也結識了“哲學家”、王國里“最頑固”的人、王宮的“守門人”等形形色色的角色；他們學習過古老咒語，指揮過軍隊演習，探究過“天馬

本書主要介紹LoRa、NB-IoT和LTE這三種物聯網長距離無線通信技術。在內容安排上，本書先進行理論學習，深入淺出地學習長距離無線通信技術原理和協議，然后進行案例開發(fā)實踐，這些開發(fā)實踐貼近社會和生活的應用場景，給出了詳細的軟/硬件設計和功能的實現過程，最后進行總結拓展，將理論學習和開發(fā)實踐結合起來。每個案例均附上完整的開發(fā)代碼，讀者可在源代碼的基礎快速地進行二次開發(fā)。

基于"深入分析組件原理、充分展示搭建過程、詳細指導應用開發(fā)”的理念，以最新版Hadoop及其生態(tài)組件為對象，采用理論與應用高度融合的方法，介紹大數據的概念、技術、方法、應用、以及項目開發(fā)。全書分為三篇，第一篇為大數據的基本概念和技術綜述，第二篇為平臺搭建與基本應用，內容設計Linux、HDFS、MapReduce、Yarn、Hive、HBase、Sqoop、Kafka、Spark、Phoenix等；第三篇為數據處理與

傳統的軟件理論研究是形式語法和形式語義分離，語義研究成果沒有實用性,測試一直是軟件開發(fā)的必要步驟。本書是統一研究語法與語義的成果，包括程序模型（OE），語義公理（A），語義謂詞（SP），語義謂詞演算，是一套全新的完整的實用的程序理論。實例證明用OESPA可以用于程序開發(fā)各步驟，程序驗證及程序驗證自動化（符號演算）。測試不再是必要的。為開發(fā)相應的驗證工具奠定了基礎。

本書由多媒體領域三位學者聯袂編寫，內容取自課堂上講述的實際素材，適合作為計算機科學和工程專業(yè)學生的教材。本書從多媒體數據表現、多媒體數據壓縮、多媒體通信和聯網、多媒體信息分享和檢索四個層面對多媒體涉及的基本概念、基本原理和基本技術進行了詳細介紹。作者用一種實用的方式來講述基本概念，使學生能夠運用享有的技術來解決現實多媒體世界中的問題。

提到"互聯網思維”估計你不會陌生，最早的提出者是百度公司創(chuàng)始人李彥宏。智聯網在思維層面引發(fā)的變革，將比互聯網更為深入。我們想要適應這一個時代的變化，思維就要發(fā)生相應的轉變，作為轉變的第一步，讀懂智聯網從思維層面上帶給我們的沖擊是當務之急。在這里，筆者將由智聯網帶來的新型思維模式統稱為"新智力”。新智力將是在互聯網思維之上的一次迭代和探索，它將引發(fā)實體經濟的革新。根據"新智力”演進與滲透的路徑，本書將從技術發(fā)展、組織變

講解了網絡大數據時代應運而生的、能高效迅捷地分析處理數據的工具——Spark，它帶領讀者快速掌握用Spark收集、計算、簡化和保存海量數據的方法，學會交互、迭代和增量式分析，解決分區(qū)、數據本地化和自定義序列化等問題。

本書不是一本簡單介紹Kotlin語法應用的圖書，而是一部專注于幫助讀者深入理解Kotlin的設計理念，指導讀者實現Kotlin高層次開發(fā)的實戰(zhàn)型著作。書中深入介紹了Kotlin的核心語言特性、設計模式、函數式編程、異步開發(fā)等內容，并以Android和Web兩個平臺為背景，演示了Kotlin的實戰(zhàn)應用。全書共13章，分為4個部分：熱身篇—Kotlin基礎（第1~2章），簡單介紹了Kotlin設計哲學、生態(tài)及基礎語法，其

本書以翔實的原理講解和充實的實戰(zhàn)代碼剖析，全面闡述了SparkStreaming流式處理平臺，便于讀者能夠從入門開始了解搭建Spark平臺，在此基礎上學習流式處理框架，并動手實踐，進行SparkStreaming流式大數據處理，包括與主流平臺框架，如Kafka、Redis和ZooKeeper的對接應用等，并介紹了項目實戰(zhàn)中的一些開發(fā)和調優(yōu)策略。讀者能夠通過本書快速搭建Spark平臺，并根據自己面臨的使用場景快速搭建處

隨著互聯網時代的發(fā)展，互聯網上的廣告也逐漸發(fā)展起來，網絡廣告課程隨之成為各大高校廣告等相關專業(yè)的必修課程。本書是一本使用Animate制作網絡動畫廣告的教程，全書共11章。本書介紹了網絡廣告基礎、AnimateCC軟件入門、互動游戲式廣告、移動網絡廣告、橫幅式廣告、按鈕式廣告、通欄廣告、標識式廣告、背投式廣告、彈出式廣告以及浮動式廣告等內容。本書以案例為主，結合豐富的理論，全面細致地講解了網絡廣告從構思到設計，再到制