本書介紹安全協(xié)議及其驗證方法，主要內(nèi)容包括四部分：第一部分為基礎(chǔ)知識，包括安全協(xié)議基本原理介紹、安全性分析以及密碼學(xué)基礎(chǔ)；第二部分為安全協(xié)議原理，包括安全協(xié)議概述、認(rèn)證與密鑰交換協(xié)議、電子商務(wù)協(xié)議以及實際使用中的安全協(xié)議；第三部分為安全協(xié)議的分析、驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯和串空

本書共分為八個章節(jié)，以軟件測試工作流程為主線，軟件測試技術(shù)為抓手，通過常用測試工具和實踐案例來介紹單元測試、功能測試、移動應(yīng)用測試、性能測試、嵌入式測試、大數(shù)據(jù)測試和機器學(xué)習(xí)測試的實施過程。本書的讀者對象是軟件工程初學(xué)者、軟件工程專業(yè)實踐者以及參加“大學(xué)生軟件測試大賽”的學(xué)生。

本書突出重點地介紹了數(shù)據(jù)庫系統(tǒng)的基本概念、基本原理和基本設(shè)計方法，同時以SQLServer為背景介紹了數(shù)據(jù)庫原理的技術(shù)應(yīng)用（實驗方式）。全書共有6章及14個實驗，第1部分?jǐn)?shù)據(jù)庫原理知識內(nèi)容包括：數(shù)據(jù)庫系統(tǒng)概述、數(shù)據(jù)模型、數(shù)據(jù)庫系統(tǒng)結(jié)構(gòu)，關(guān)系數(shù)據(jù)理論，SQL語言，關(guān)系數(shù)據(jù)庫設(shè)計理論，數(shù)據(jù)庫設(shè)計，SQLServer數(shù)據(jù)庫管

《信息安全導(dǎo)論》作為計算機科學(xué)與技術(shù)（信息安全方向）專業(yè)必修課程，本教材堅持需求驅(qū)動、問題導(dǎo)向和目標(biāo)導(dǎo)向，理論與實踐緊密結(jié)合，實用性強，向?qū)W生傳授解決信息安全問題的方法和技術(shù)同時，立德樹人，向?qū)W生傳授主流價值觀和方法論，不僅較全面地介紹信息安全技術(shù)、安全管理、法律法規(guī)以及倫理道德，也從章節(jié)安排上向?qū)W生傳遞主流文化和世界

本書以德國高等教育為例說明數(shù)據(jù)庫的運用。作者有意選擇這個簡單的例子，是為了便于讀者理解和記憶。為方便完成SQL部分的習(xí)題，本書還將作者在慕尼黑大學(xué)開發(fā)的的數(shù)據(jù)庫系統(tǒng)HyPer的Web界面提供給大家使用。 本書也適合自學(xué)。因為作者對所有的概念都盡量用易于理解的例子加以說明。 本書僅討論現(xiàn)代數(shù)據(jù)庫系統(tǒng)，對關(guān)系模型，我們尤其

本書是學(xué)習(xí)Python語言的入門教程。全書分上下兩篇，上篇(理論篇)共8章，包括Python程序設(shè)計概述、順序結(jié)構(gòu)程序設(shè)計、分支和循環(huán)結(jié)構(gòu)程序設(shè)計、字符串、列表與元組、字典與集合、函數(shù)、文件等程序設(shè)計基礎(chǔ)內(nèi)容；每章末尾配有相應(yīng)的思維導(dǎo)圖，對本章的知識結(jié)構(gòu)、思維過程進(jìn)行梳理總結(jié)，以幫助學(xué)生復(fù)習(xí)鞏固、加深理解。本書下篇（習(xí)

本書共包含7個部分，即緒論、5個項目、課程拓展。緒論部分介紹了課程的定位及課程的素質(zhì)目標(biāo)、能力目標(biāo)、知識目標(biāo)等；5個項目分別涵蓋了Python在文件操作、數(shù)據(jù)分析、數(shù)據(jù)可視化、管理信息系統(tǒng)及網(wǎng)絡(luò)爬蟲等方面的相關(guān)知識點、綜合項目案例及技能訓(xùn)練；課程拓展部分主要介紹與本課程緊密相關(guān)的崗位、競賽、證書及相關(guān)的知識和技能需求。

軟件開發(fā)大數(shù)據(jù)分析研究與實踐

本書內(nèi)容基本覆蓋計算機視覺的主要方面，除緒論外，共10章，分別介紹10類3D計算機視覺技術(shù):攝像機成像和標(biāo)定、深度圖像采集、3D點云數(shù)據(jù)采集及加工、雙目立體視覺、多目立體視覺、單目多圖像場景恢復(fù)、單目單圖像場景恢復(fù)、廣義匹配、同時定位和制圖，以及時空行為理解。本書側(cè)重介紹計算機視覺的基本原理及近期進(jìn)展。在2~11章中，

本書在介紹計算機網(wǎng)絡(luò)基本原理的基礎(chǔ)上，基于PacketTracer網(wǎng)絡(luò)仿真軟件，利用具體的案例對相關(guān)原理和應(yīng)用進(jìn)行仿真分析。本書不僅涵蓋了TCP/IP模型各層協(xié)議的基本內(nèi)容，涉及IPv6、無線網(wǎng)絡(luò)構(gòu)建、網(wǎng)絡(luò)安全等較新的知識點，而且還結(jié)合了具體的工程實踐應(yīng)用，能夠有效幫助讀者理解基本概念，提高其理論聯(lián)系實際、學(xué)以致用的工