Git是一款讓人一開始覺得很容易學，但卻很難精通的工具。本書除了介紹Git的相關知識外，還會模擬各種常見的狀況，讓讀者知道應該在什么時候使用什么指令。《Git從入門到精通》共分11個章節(jié)，1~3章介紹安裝工具及環(huán)境，對于已經(jīng)安裝完成的讀者可直接從第4章開始閱讀。第5章介紹Git基本的使用方式，雖然難度不高，但卻是整個G

本書的寫作初衷是為了幫助更多功能測試人員轉(zhuǎn)型自動化測試方向。在轉(zhuǎn)型過程中，主流自動化測試技術和應用場景的結(jié)合是非常重要的一環(huán)。本書從自動化測試理論入手，全面地闡述自動化測試的意義及實施過程。全文以Python語言驅(qū)動，結(jié)合真實案例分別對主流自動化測試工具Selenium、RobotFramework、Postman、P

本本書介紹了網(wǎng)絡空間安全所涉及的數(shù)論、代數(shù)、信息論、復雜度理論的基礎理論，具體包括：整數(shù)的運算、同余；群、環(huán)、域及有限域的概念及性質(zhì)，橢圓曲線；格；信息論基礎；復雜度理論基礎等，在介紹這些數(shù)學理論的同時，舉例介紹了部分計算算法的設計。通過閱讀本書可系統(tǒng)的學習信息安全研究所涉及的數(shù)學理論。

本教材的基本內(nèi)容包括MATLAB軟件基本信息，操作界面，幫助系統(tǒng)，數(shù)據(jù)變量，矩陣和數(shù)組的運算，畫圖工具，腳本文件，程序編寫，文件操作，用戶界面設計等MATLAB的基本功能；案例部分包括油田智能管理決策應用。

《安全協(xié)議實施安全性自動化分析與驗證》系統(tǒng)介紹安全協(xié)議實施安全性自動化分析與驗證的基本理論和關鍵技術及**成果。主要內(nèi)容包括安全協(xié)議實施安全性分析與驗證的國內(nèi)外發(fā)展現(xiàn)狀、一階定理證明器ProVerif及應用、自動化安全協(xié)議證明器CryptoVerif及應用、基于計算模型自動化抽取安全協(xié)議Blanchet演算實施模型、安

本書以基礎知識為依托、以案例教學為特色，共分10章，穿插17個案例和近百個小例程講授表、查詢、窗體、報表、宏及模塊的創(chuàng)建步驟和操作過程。另外，配套使用電子版完成了10個實訓題目，以掃二維碼的形式即可獲得每章的習題及答案。結(jié)合本書的演示文稿PPT，幫助學生融會貫通全書的內(nèi)容。教材編寫中力求通俗易懂，學生通過學習本教程即能

本書共19章，全面講解了Cinema4DR18的使用方法并配以對應的案例操作，介紹了在工作中常用的建模、材質(zhì)、燈光、渲染、粒子、毛發(fā)、布料、動畫、運動圖形、效果器和Xpresso等方面的知識，同時介紹了與AfterEffects軟件結(jié)合使用、UV貼圖拆分案例和OC外置渲染器的知識。知識全面，覆蓋性強，案例舉一反三。

《多維計算機導論課程教與學的研究與實證》以“計算機科學導論”課程為主要研究對象，從不同角度對該課程的教學進行研究與實證。首先，從計算機科學的學科特性出發(fā)，在ACT-R、SOAR、ECIP、粒計算認知模型基礎上提出實踐環(huán)節(jié)的認知模型，以此重組課程內(nèi)容并優(yōu)化計算機系列課程；確定開放學習的含義及原則，研發(fā)開放學習平臺；建模課

本書共分13個項目，在內(nèi)容結(jié)構(gòu)上，按照交換基礎篇、LAN交換和路由基礎篇、路由協(xié)議和概念篇、路由協(xié)議配置篇、網(wǎng)絡安全基礎篇的結(jié)構(gòu)進行布局。在教學過程中注意體現(xiàn)學生設計和動手能力培養(yǎng)的循序漸進性�！毒W(wǎng)絡組建與應用》可用作計算機網(wǎng)絡技術專業(yè)的教學用書，也可用作電子及計算機類專業(yè)的網(wǎng)絡類課程的教材或者實驗指導用書。

《Scratch3.0少兒人工智能編程指南》第1章介紹Scratch，以及它能夠?qū)崿F(xiàn)的內(nèi)容；然后引出第2章Scratch3.0的界面知識與操作方法，介紹Scratch3.0的一些基本操作；接著在第3~6章以案例形式介紹了Scratch3.0在動畫制作、游戲設計、數(shù)學編程、硬件編程4個方面的實現(xiàn)方法和步驟；第7章介紹Sc