...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

...more

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

基於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

...more

...more

...more

...more

...more