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

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

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

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

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

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

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

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

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

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