查詢結果
檢索結果筆數(11)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
-
題 名:
A New Technique for Behavior and Temporal Analysis of Timed Petri Nets:即時型派翠網模型之行為分析與時序驗證的技術
- 作 者:
- 書刊名:
- 卷 期:
20:5 1997.09[民86.09]
- 頁 次:
頁481-492
-
題 名:
-
-
題 名:
An Estelle Translator for Incremental Protocol Verification:以漸進式協定驗證為目的之Estelle轉換器
- 作 者:
- 書刊名:
- 卷 期:
19:2 1996.03[民85.03]
- 頁 次:
頁179-192
-
題 名:
-
-
題 名:
An Algorithm to Approximate the Reliability of a Flow Network:流量網路可靠度之近似值演算法
- 作 者:
- 書刊名:
- 卷 期:
20:1 2003.01[民92.01]
- 頁 次:
頁21-26
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
10:1 1993.01[民82.01]
- 頁 次:
頁33-39
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:3 1995.05[民84.05]
- 頁 次:
頁379-390
-
-
題 名:
An Approach to the Implementation and Verification of Abstract Data:抽象資料之建置與驗證的方法
- 作 者:
- 書刊名:
- 卷 期:
9:3 1986.05[民75.05]
- 頁 次:
頁323-332
-
題 名:
-
-
題 名:
砂心吹製實驗之模擬驗證:The Sand Core Blowing of Simulation and Verification
- 作 者:
- 書刊名:
- 卷 期:
41:1=164 2015.03[民104.03]
- 頁 次:
頁17-26
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
42:2=169 2016.06[民105.06]
- 頁 次:
頁29-36
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
11:2 2016.04[民105.04]
- 頁 次:
頁67-73
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
5:4 2010.10[民99.10]
- 頁 次:
頁331-340
-
-
題 名:
球墨鑄鐵凝固縮孔模擬模組之驗證:The Validation of Solidification Shrinkage Models for Ductile Iron Casting
- 作 者:
- 書刊名:
- 卷 期:
45:3=182 2019.09[民108.09]
- 頁 次:
頁25-38
-
題 名: