這是一本故事書，也是一本編程書。小男孩派森無(wú)意中闖入神秘國(guó)度—Python王國(guó)，恰好遇到了國(guó)王的鸚鵡，于是他們開始了奇幻的冒險(xiǎn)之旅。在這個(gè)過程中，他們?cè)淙搿按蠖洹辈柯�、怪獸餐廳、要“名片”的迷宮，也造訪過“呆頭”小鎮(zhèn)、巫師的小屋、國(guó)王的跑馬場(chǎng)；他們打敗過7眼3嘴的攔路怪獸、兩個(gè)腦袋的守護(hù)者，也結(jié)識(shí)了“哲學(xué)家”、王國(guó)里“最頑固”的人、王宮的“守門人”等形形色色的角色；他們學(xué)習(xí)過古老咒語(yǔ)，指揮過軍隊(duì)演習(xí)，探究過“天馬

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

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

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

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

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

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

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

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

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