| 佛光大學 |
2010 |
Symbolic Document Image Compression Based on Pattern Matching Techniques
|
夏傳儀;Yun-Sheng Yen |
| 國立臺灣海洋大學 |
2009-06 |
Symbolic dynamics and entropies of copepod behaviour under non-turbulent and turbulent conditions
|
Maud Moison;François G. Schmitt;Sami Souissi;Laurent Seuront;Jiang-Shiou Hwang |
| 國立臺灣師範大學 |
2014-10-30T09:31:39Z |
Symbolic economy
|
Liao, Shih-Chang |
| 臺大學術典藏 |
2021-09-02T00:05:33Z |
Symbolic gas vulnerability detection and attack synthesis
|
Peng M.H;Yu F;Jiang J.H.R.; Peng M.H; Yu F; Jiang J.H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:33Z |
Symbolic gas vulnerability detection and attack synthesis
|
Peng M.H;Yu F;Jiang J.H.R.; Peng M.H; Yu F; Jiang J.H.R.; JIE-HONG JIANG |
| 國立交通大學 |
2014-12-08T15:06:23Z |
SYMBOLIC GRAY CODE AS A PERFECT MULTIATTRIBUTE HASHING SCHEME FOR PARTIAL MATCH QUERIES
|
CHANG, CC; LEE, RCT; DU, MW |
| 國立臺灣大學 |
2001 |
Symbolic Interactionism and Its Application in Nursing Reasearch
|
田聖芳; 施富金; TIEN, SHENG-FANG; SHIH, FU-JIN |
| 臺北醫學大學 |
2001 |
Symbolic interactionism and its application in nursing research
|
施富金; Tienw SF; & Shih FJ. |
| 國立成功大學 |
2021-03 |
Symbolic interval-valued data analysis for time series based on auto-interval-regressive models
|
Lin;Liang-Ching;Chien;Hsiang-Lin;Lee;Sangyeol |
| 國立成功大學 |
2021-3 |
Symbolic Interval-Valued Data Analysis for Time Series based on Auto-Interval-Regressive Models.
|
林良靖; LIN, LIANG-CHING; Lin, Liang-Ching;Chien, Hsiang-Lin;Lee, Sangyeol |
| 臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
| 臺大學術典藏 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
Yang, J.; Mok, A. K.; Wang, Farn; 王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 國立臺灣大學 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 臺大學術典藏 |
2018-09-10T06:37:13Z |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
J. Yang; A.K. Mok; F. Wang; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
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 |
