本書由Github上發(fā)表的WTFSolidity項目精選編輯而成,以小白極簡入門為宗旨,根據(jù)讀者的持續(xù)反饋,從HelloWeb3開始,漸進(jìn)式講解Solidity智能合約編程。全書共分30講,內(nèi)容包括值類型、函數(shù)、函數(shù)輸出、變量的數(shù)據(jù)存儲和作用域、數(shù)組和結(jié)構(gòu)體、映射類型、變量的初始值、常量和不變量、控制流及其實踐、構(gòu)造函

本書基于SQLServer2019,系統(tǒng)全面地闡述了數(shù)據(jù)庫系統(tǒng)的基礎(chǔ)理論、基本技術(shù)和基本方法,以培養(yǎng)數(shù)據(jù)庫應(yīng)用能力為主要目標(biāo),重點關(guān)注數(shù)據(jù)庫系統(tǒng)的基礎(chǔ)性和應(yīng)用性。全書以圖書借閱管理系統(tǒng)為主線,將數(shù)據(jù)庫相關(guān)基礎(chǔ)理論和應(yīng)用實踐有機結(jié)合。全書包括緒論、關(guān)系數(shù)據(jù)庫系統(tǒng)、關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL、數(shù)據(jù)庫安全性與完整性、關(guān)系數(shù)據(jù)庫

本書在選材與編排上,貼近當(dāng)前普通高等院校“數(shù)據(jù)結(jié)構(gòu)”課程的現(xiàn)狀和發(fā)展趨勢,內(nèi)容難度適度,突出實用性和應(yīng)用性。在內(nèi)容選取與結(jié)構(gòu)上,本書并未對各種數(shù)據(jù)結(jié)構(gòu)面面俱到,而是通過分類和講解典型結(jié)構(gòu),使讀者形成對數(shù)據(jù)結(jié)構(gòu)的宏觀認(rèn)識。根據(jù)內(nèi)容側(cè)重,本書共分為8章,分別為緒論、線性表、棧和隊列、串和數(shù)組、樹形結(jié)構(gòu)、圖、內(nèi)排序和查找。

本書共分4章:第1章介紹不帶類型的λ-演算、簡單類型的λ-演算和F系統(tǒng),主要討論語法和β-歸約語義;第2章介紹Coq,重點是從函數(shù)式程序設(shè)計的角度展開討論,內(nèi)容涉及自然數(shù)函數(shù)、列表、多態(tài)數(shù)據(jù)結(jié)構(gòu)、依賴類型、高階函數(shù)、柯里-霍華德關(guān)聯(lián)以及余歸納類型;第3章介紹OCaml這門通用程序設(shè)計語言,除了基本的程序設(shè)計概念,還討論

本書以提高計算機應(yīng)用能力為主線,以案例導(dǎo)向、融合醫(yī)學(xué)、面向應(yīng)用、注重實用為特色,強調(diào)計算機基本原理、基礎(chǔ)知識、操作技能三者的有機結(jié)合。全書共6個部分,包括計算機基礎(chǔ)知識、計算機系統(tǒng)、文字處理軟件Word、電子表格處理軟件Excel、演示文稿制作軟件PowerPoint、計算機網(wǎng)絡(luò)基礎(chǔ)知識與應(yīng)用。本教材力求做到語言簡潔,

本書根據(jù)教育部大學(xué)計算機課程教學(xué)指導(dǎo)委員會新制定的《關(guān)于進(jìn)一步加強高等學(xué)校計算機基礎(chǔ)教學(xué)的意見暨計算機基礎(chǔ)課程教學(xué)基本要求》編寫而成,本書主要內(nèi)容包括信息化與信息技術(shù)、信息安全、計算機基礎(chǔ)知識、計算機網(wǎng)絡(luò)應(yīng)用技術(shù)、多媒體應(yīng)用技術(shù)、操作系統(tǒng)、文字處理軟件、電子表格軟件、演示文稿軟件及新一代信息技術(shù)(物聯(lián)網(wǎng)、云計算、大數(shù)據(jù)

本書包括基于機器學(xué)習(xí)的文本分析介紹、R編程語言、結(jié)構(gòu)化文本表示、分類及最常用的分類算法(貝葉斯分類器、最近鄰、決策樹、隨機森林、支持向量機和深度學(xué)習(xí))介紹、聚類算法。本書最后兩章還討論了詞向量和特征選擇問題。

本書內(nèi)容有基于多通道圖神經(jīng)網(wǎng)絡(luò)的信息源估計、基于超子結(jié)構(gòu)網(wǎng)絡(luò)的鏈路預(yù)測器、基于子圖網(wǎng)絡(luò)的寬度學(xué)習(xí)圖分類方法、子圖增強及其在圖數(shù)據(jù)挖掘中的應(yīng)用、基于圖的對抗攻擊:如何隱藏你的結(jié)構(gòu)信息等。

本書面向普通高等學(xué)校的機器人工程專業(yè)編寫,可以作為核心專業(yè)課教材使用。教材以機器人運動和力控制的實現(xiàn)為線索,采用總-分的布局,組織內(nèi)容編寫。在內(nèi)容上,按照機器人控制系統(tǒng)軟硬件架構(gòu)、控制系統(tǒng)實現(xiàn)原理、驅(qū)動電機特性、經(jīng)典PID控制、逆動力學(xué)控制和力控制的順序,遵循從系統(tǒng)到部分、從硬件到軟件、從驅(qū)動和算法的思路編排知識點,遵

本書的主要內(nèi)容涵蓋機器學(xué)習(xí)領(lǐng)域的主要模型和算法,包括監(jiān)督學(xué)習(xí)的分類和回歸模型與算法、非監(jiān)督學(xué)習(xí)的聚類和降維算法、強化學(xué)習(xí)的主要算法、遷移學(xué)習(xí)的實例以及最新前沿的相關(guān)模型和算法的實踐。本書以實驗項目或案例為單元,每個單元有明確的實驗?zāi)康摹⒃�理和實驗步驟,包括基礎(chǔ)驗證性實驗、綜合設(shè)計性實驗和系統(tǒng)開發(fā)項目實踐。