| 臺大學術典藏 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn |
| 國立臺灣大學 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 國立臺灣大學 |
2007 |
Symbolic Modeling of Epistasis
|
蔡佳醍; 江福田; TSAI, CHIA-TI; CHIANG, FU-TIEN |
| 臺大學術典藏 |
2020-12-30T08:48:04Z |
Symbolic modeling of epistasis
|
Moore J.H.; Barney N.; CHIA-TI TSAI; Chiang F.-T.; Gui J.; White B.C. |
| 臺大學術典藏 |
2021-03-11T04:30:18Z |
Symbolic modeling of epistasis
|
Moore J.H.;Barney N.;Tsai C.-T.;Fu-Tien Chiang;Gui J.;White B.C.; Moore J.H.; Barney N.; Tsai C.-T.; FU-TIEN CHIANG; Gui J.; White B.C. |
| 國立高雄應用科技大學 |
2010 |
Symbolic Nodal Analysis of Circuits Using Pathological Elements
|
Wang, Hung-Yu; Huang, Wen-Chung; Chiang, Nan-Hui |
| 臺大學術典藏 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures
|
F. Wang.; FARN WANG |
| 國立交通大學 |
2014-12-08T15:45:38Z |
Symbolic path-based protocol verification
|
Liu, WC; Chung, CG |
| 臺大學術典藏 |
2018-09-10T05:03:13Z |
Symbolic Politics or Pragmatism? Public Opinion on Unification vs. Independence in Taiwan
|
FENG-YU LEE; Lin, Tse-min; Wu, Chin-en; FENG-YU LEE |
| 臺大學術典藏 |
2018-09-10T05:03:13Z |
Symbolic Politics or Pragmatism? The Issue of Unification vs. Independence in Taiwan
|
FENG-YU LEE; Wu, Chin-en; Lin, Tse-Min; FENG-YU LEE |
| 國立政治大學 |
2010.08 |
Symbolic Politics, Self-Interests and Threat Perceptions: An Analysis of Taiwan Citizens' Views on Cross–Strait Economic Exchanges
|
王德育;陳陸輝;耿曙; Chen, Lu-huei |
| 臺大學術典藏 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 臺大學術典藏 |
2018-09-10T04:35:38Z |
Symbolic Simulation of Real-Time Concurrent Systems
|
F. Wang; G.-D. Hwang; F. Yu; FARN WANG |
| 國立臺灣大學 |
1987 |
Symbolic Substitution Using ZnS Interference Filters
|
Tsao, M. T.; 王倫; Jin, R.; Tsao, M. T.; Wang, L. A.; Jin, R. |
| 臺大學術典藏 |
2021-09-02T00:05:34Z |
Symbolic Uniform Sampling with XOR Circuits
|
Lin Y.-T;Jiang J.-H.R;Kravets V.N.; Lin Y.-T; Jiang J.-H.R; Kravets V.N.; JIE-HONG JIANG |
| 國立政治大學 |
2009 |
Symbolic universes of pedagogical professionalism in different cultures
|
Kokemohr, Rainer;馮朝霖;倪鳴香 |
| 臺大學術典藏 |
2018-09-10T06:30:41Z |
Symbolic verification and error prediction methodology
|
Wei, C.-J.; Lin, G.-H.; Wen, Y.-N.; Chen, S.-J.; Hu, Y.-H.; SAO-JIE CHEN |
| 臺大學術典藏 |
2018-09-10T03:50:34Z |
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T05:27:17Z |
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2006-09 |
Symbolic View再考―オノマトペに見た言語の象徴性―
|
呂佳蓉; 呂佳蓉 |
| 國立臺灣大學 |
2006-09 |
Symbolic View再考―オノマトペに見た言語の象徴性―
|
呂佳蓉 |
| 國立臺灣大學 |
1993-08 |
Symbolic War: The Chinese Use of Force, 1840-1980
|
石之瑜; Chih-yu Shih |
