...more

本書主要介紹原型Petri網、知識Petri網、帶有優先順序的時間Petri網，用於對有限狀態併發系統控制流、安全多方計算協議、多處理器搶佔式即時系統等在一定層級上的抽象建模，如刻畫併發、選擇、衝突、多方...more

...more

基於RISC-V和Chisel講解自定義CPU的實現。 《CPU製作入門：基於RISC-V和Chisel》分為5個部分，立足於CPU、存儲器、計算機架構等基礎知識，逐步帶領讀者實現簡單的加減法、分支、比較等基礎指令，理解流水...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

本書講解了System Verilog Testbench強大的驗證功能，清楚地解釋了物件導向編程、約束隨機測試和功能覆蓋的概念。本書涵蓋System Verilog所有驗證結構，如類、區塊、隨機化和功能覆蓋等，並通過超過500個...more

...more

...more

...more

...more

...more

...more

本書是一部關於未來互聯網的集學術研究與教學實踐於一體的科研論著，介紹了未來互聯網的技術發展趨勢，詳細闡述了未來互聯網發展面臨的挑戰及共性關鍵技術。 本書分別從未來互聯網體系架構，下一代互聯網...more

...more

...more

...more

...more

...more

手語計算是人工智慧的一個重要分支，主要研究如何利用電腦來理解和生成手語。 本書重點介紹了手語計算所涉及的各個方面，包括手語計算與有聲語言計算的區別、書寫系統、輸入輸出、詞法分析、分類詞謂語計...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

抗追蹤網路是實現大規模網路監聽環境下高隱蔽通信的核心關鍵技術之一，在網路攻防博弈、個人隱私保護等方面有著迫切的應用需求。 本書從基本概念、形式化模型、量化評估體系、理論基礎、技術體系等不同方...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more