本書是關于現代類型論的專著。與集合論類似，現代類型論是數學及諸多領域的基礎語言。本書介紹了現代類型論(及其元理論)，并以自然語言語義學和計算機輔助推理為例對以現代類型論為基礎的應用領域進行深入淺出的討論。作為基礎語言，現代類型論一方面提供了豐富的描述機制，另一方面便于理解與實現，因此與集合論相比有著多方面的優(yōu)勢。這些優(yōu)

圖神經網絡不僅能夠解決傳統(tǒng)機器學習方法無法解決的圖數據問題，而且能夠應用于許多實際場景，例如社交網絡、藥物發(fā)現、網絡安全、金融風控等�！秷D神經網絡基礎、模型與應用實戰(zhàn)》旨在為初學者和實踐者提供一個詳細、全面的入門指南，圍繞圖神經網絡基礎、模型、應用實戰(zhàn)（均采用Python+PyTorch實現）等方面進行介紹�！秷D神經網

新編計算機基礎教程(微課版)》基于教學實踐編寫而成，在寫作過程中，根據“夯實基礎、面向應用、培養(yǎng)創(chuàng)新”的指導思想，以介紹計算機基礎知識和基本應用技能為主線，具有內容豐富、層次清晰、通俗易懂、圖文并茂、易教易學的特色。新編計算機基礎教程(微課版)重點突出了教材的基礎性、應用性和創(chuàng)新性，旨在提高大學生的計算機應用能力，并為

《數字身份認證技術與實踐》內容涵蓋身份認證的基礎理論，包括身份認證與授權的區(qū)別、常見的認證方式以及關鍵技術和協(xié)議，如SAML、OAuth2.0、OIDC等。除基礎概念外，《數字身份認證技術與實踐》還展示如何在不同的環(huán)境中安全地接入和實現身份認證，包括純前端應用、BFF和后端領域服務。同時，《數字身份認證技術與實踐》詳細

本書面向華為設備，以一個真實的企業(yè)網搭建項目貫穿全書，共分四篇。第一篇為教學項目準備，通過引入教學項目，引導學生了解課程目標，提高學生的學習興趣；第二篇為教學項目實施，緊緊圍繞引入的教學項目，按照一般網絡項目實施的工作流程，從企業(yè)總部內網搭建，到企業(yè)內外網路由連通，再到企業(yè)網絡安全控制，直至無線網絡配置4大步，分成11

本書較為全面地介紹了Cinema4D2023的基本操作和核心功能，選取了部分“1+X”數字創(chuàng)意建模考試真題與企業(yè)真實項目融合。全書共包括7個項目：初識Cinema4D、Cinema4D數字創(chuàng)意建�；�礎、卡通角色設計、虛擬數字人中國娃娃、Cinema4D動畫、Cinema4D與Arnold渲染器、“1+X”數字創(chuàng)意建模綜

本書以智能制造產線為對象，介紹了智能制造產線運行優(yōu)化涉及的關鍵技術:產線狀態(tài)數據實時采集與云-邊協(xié)同計算技術、產線混合生產任務的集成規(guī)劃與優(yōu)化技術、產線生產物流的主動感知與協(xié)同調度技術、刀具磨損狀態(tài)智能監(jiān)控與壽命預測技術、工件加工質量的誤差分析/溯源與預測技術、復雜數控加工裝備的健康狀態(tài)綜合評價技術等。這些關鍵技術是實

本書共13章。第1～3章分別講解Go語言、基本數據類型和各種運算符的使用；第4章主要講解選擇和循環(huán)兩種控制結構；第5章講解函數與方法；第6章講解數據容器；第7章講解結構體；第8章講解接口，這部分內容難度稍大；第9章講解協(xié)程與通道；第10～12章分別講解異常處理、正則表達式、文件和文件夾；第13章講解常用的內置包。本書立

本書是“微處理器原理與接口技術”課程的教材。本書首先通過邏輯的、歷史的脈絡引入計算機系統(tǒng)和微處理器，然后以ARMCM0為對象介紹了微處理器的組成原理和指令集，并介紹了匯編語言編程方法等。在接口技術方面，本書介紹了內部總線AHB�睱ite和SoC的組成方法，并以RP2040芯片為例，介紹了接口常用的GPIO、UART、I

本書將軟件開發(fā)理論與現代工程方法論相結合，著重研究軟件工程基礎理論與過程、軟件分析與設計及測試方法、軟件維護與項目管理方法等，是指導軟件生產和管理的一本新興的、綜合性的軟件理論與應用圖書。本書分別從傳統(tǒng)的結構化軟件工程和面向對象軟件工程兩個范型出發(fā)，把軟件工程基礎理論與方法融入開發(fā)實踐當中，通過豐富的案例深入地介紹軟件