您的瀏覽器不支援或未開啟JavaScript功能,將無法正常使用本系統,請開啟瀏覽器JavaScript功能,以利系統順利執行。
返回
/NclService/
快速連結
跳到主要內容
:::
首頁
關於本站
網站導覽
聯絡我們
國家圖書館
English
開啟查詢結果分析
查詢資訊
期刊論文索引(找篇目)
指令檢索
期刊指南(找期刊)
近代 (1853-1979年) 港澳華文期刊索引
漢學中心典藏大陸期刊論文索引
中國文化研究論文目錄
期刊瀏覽
檢索歷程
期刊授權
出版機構
公佈欄
常見問題
軟體工具下載
:::
首頁
>
查詢資訊
>
期刊論文索引查詢
>
詳目列表
查詢結果分析
來源資料
聖約翰學報
23 民95.07
頁127-145
精密機械工藝
>
翻譯機
相關文獻
使用派翠網驗證CPU內部結構之流程
Testing Real-Time Software with Time Petri Nets
模糊派翠網路模擬法則式推理
以派翠網路模型來分析與探討多人互動虛擬實境系統之設計
網路科技支援之電腦教學軟體對學生學習科學概念的影響
MIKE 21水力數值模組對港灣工程之應用
分子在蛋白質中的靜電位能和酵素系統化學反應之電腦模擬軟體Polaris和Enzymix
應用模糊派翠網路於模糊專家系統不完全輸入之推理
高職電機電子群專業課程使用電腦模擬軟體之學習成效
九二一集集大地震對於工程建設的破壞
頁籤選單縮合
基本資料
引用格式
國圖館藏目錄
全國期刊聯合目錄
勘誤回報
我要授權
匯出書目
題 名
使用派翠網驗證CPU內部結構之流程=Using Petri Nets to Verify the Data/Control Flows of CPU Architectures
作 者
杜日富
;
駱佑禎
;
孔德景
;
書刊名
聖約翰學報
卷 期
23 民95.07
頁 次
頁127-145
分類號
471.6
關鍵詞
派翠網
;
模擬軟體
;
Petri nets
;
Simulator
;
語 文
中文(Chinese)
頁籤選單縮合
推文
引用網址
引用嵌入語法
Line
FB
Google bookmarks
本文的引用網址:
複製引用網址
本文的引用網址:
複製引用網址