6.4.1 Guarded Recursive Specifications of Hybrid APTC with Localities
- 離散與混雜控制的代數理論（英文版）
- 王勇 姜正濤等
- 581字
- 2024-02-01 14:46:25
上QQ閱讀APP看后續精彩內容
登錄訂閱本章 >
推薦閱讀
- MATLAB R2020a神經網絡典型案例分析
- 計算機輔助設計：AutoCAD2017
- Pro/ENGINEER Wildfire 5.0輔助設計與制作技能基礎教程
- ANSYS Workbench設計建模與虛擬仿真
- AutoCAD 2014建筑設計：從入門到精通
- AutoCAD繪圖實訓教程（2009版）
- CATIA V5從入門到精通(第二版)
- AutoCAD中文版典型機械設計圖冊
- 項目實踐精解：ASP.NET應用開發
- AutoCAD中文版輔助設計從入門到精通
- Pro/ENGINEER Wildfire 5.0產品設計高級教程
- 中文版Matrix珠寶首飾設計與建模
- OptiStruct結構分析與工程應用
- CAE分析大系：ABAQUS巖土工程實例詳解
- ANSYS CFX 14.0超級學習手冊