SystemVerilog硬件設計

《生成式AI繪畫：StableDiffusion從基礎到實戰(zhàn)》一書用簡潔而又生動的語言，全方位地解讀了生成式人工智能繪畫的原理、歷史沿革、倫理道德等，同時，通過對StableDiffusion平臺的全面介紹，以經(jīng)典案例和典型行業(yè)應用（建筑設計、動漫設計、平面設計）為載體，解讀了用人工智能進行繪畫的思路與步驟，內(nèi)容包含了

內(nèi)容提要 本書構(gòu)建了模塊化、層次化的課程結(jié)構(gòu)，全書共9個模塊，以真實工作任務為載體組織教學內(nèi)容，強化技能訓練，能有效提升讀者的動手能力。全書圍繞“網(wǎng)上商城”數(shù)據(jù)庫和72項操作任務展開，采用任務驅(qū)動式的教學方法，全方位促進讀者數(shù)據(jù)庫應用與管理能力的提升。 本書以引導讀者主動學習、高效學習、快樂學習為目標，選擇教學內(nèi)容與教

本書全面、系統(tǒng)地介紹3dsMax2020的基本操作方法和動畫制作技巧，包括3dsMax2020概述、創(chuàng)建常用的幾何體、創(chuàng)建二維圖形、編輯修改器、復合對象的創(chuàng)建、材質(zhì)與貼圖、創(chuàng)建燈光和攝影機、動畫制作技術(shù)、粒子系統(tǒng)、常用的空間扭曲、環(huán)境特效動畫、高級動畫設置和綜合設計實訓等內(nèi)容。 本書以課堂案例為主線，通過案例操作，學生

內(nèi)容提要 本書全面、系統(tǒng)地介紹Illustrator2020的基本操作和核心功能，包括初識Illustrator、Illustrator基礎知識、常用工具、圖層與蒙版、繪圖、高級繪圖、圖表、特效和商業(yè)案例等內(nèi)容。 本書內(nèi)容以課堂案例為主線，每個案例都有詳細的操作步驟，學生通過實際操作可以快速熟悉軟件功能和設計思路。書中

本書介紹了ISO/IEC15026系列標準中的系統(tǒng)和軟件保證方法——軟件保證舉證。全書共6章，首先概述了軟件保證舉證的相關(guān)知識，接著詳細介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎知識、舉證框架、論證模式及應用實例，最后給出了基于非形式邏輯理論的軟件保證舉證信心評定方法。 本書適合從事軟件

本書倡導在計算機迅速發(fā)展、技術(shù)不斷革新的今天，回歸到計算機的基礎知識上。通過探究計算機的本質(zhì)，工程師將提升對計算機的興趣，在面對復雜的新技術(shù)時，能夠迅速掌握其要點并靈活運用。本書以圖配文，以計算機的三大原則為開端，相繼介紹了計算機的結(jié)構(gòu)、手工匯編、程序流程、算法、數(shù)據(jù)結(jié)構(gòu)、面向?qū)ο缶幊�、�?shù)據(jù)庫、TCP/IP網(wǎng)絡、數(shù)據(jù)加

本書使用Qiskit開源框架和IBMQuantumExperience平臺搭建一個量子計算平臺，并借助Python來介紹實現(xiàn)量子編程的方法。 本書內(nèi)容由淺入深，從搭建編程環(huán)境并編寫一個簡單的量子程序開始，介紹如何使用Python編寫簡單的腳本，Qiskit和IBMQuantumExperience進行交互的方法，概率計

本書從初學者的角度出發(fā)，以實戰(zhàn)為導向，幫助讀者快速掌握Kubernetes的核心知識，并在實踐中用好Kubernetes。本書共7章。第1章介紹如何搭建一個易上手的Kubernetes實驗環(huán)境；第2章以Docker為例介紹容器、鏡像、鏡像倉庫等概念和運行原理；第3章介紹容器編排概念，并搭建Minikube的單機環(huán)境和k

本書是系統(tǒng)架構(gòu)領域標桿參考書的升級版，由業(yè)內(nèi)資深專家薩姆·紐曼（SamNewman）撰寫。過去10年，隨著微服務的普及，大量組織從單體應用遷移到了微服務應用，分布式系統(tǒng)變得愈加精細化，然而，這個過程中也出現(xiàn)了一系列問題。本書深入探討了構(gòu)建、管理、擴展和演進微服務架構(gòu)時需要考慮的方方面面。內(nèi)容分為三部分：第一部分“基礎”