| 國立成功大學 |
2002 |
Verifier-based 身份認證通訊協定之安全證明技術之研究
|
黃宗立 |
| 國立臺灣大學 |
1977 |
Verifying Affirmative and Negative Sentences
|
劉英茂; Liang, K.; Liu, In-Mao; Liang, K. |
| 臺大學術典藏 |
2020-02-15T03:52:41Z |
Verifying China's exchange rate regime: It is a discretionary crawling peg to the US dollar!
|
Hwang, J.-D.; JYH-DEAN HWANG |
| 臺大學術典藏 |
2014 |
Verifying China's Exchange Rate Regime: It Is a Discretionary Crawling Peg to the US Dollar!
|
JYH-DEAN HWANG |
| 臺大學術典藏 |
2020-03-20T09:34:47Z |
Verifying China's Exchange Rate Regime: It Is a Discretionary Crawling Peg to the US Dollar!
|
JYH-DEAN HWANG |
| 國立成功大學 |
2020-06 |
Verifying discontinuous deformation analysis simulations of the jointed rock mass behavior of shallow twin mountain tunnels
|
Do;Trong-Nhan;Wu;Jian-Hong |
| 國立臺灣海洋大學 |
2010-08 |
Verifying expressed transcript variants by detecting and assembling stretches of consecutive exons
|
Tzu-Hung Hsiao;Chien-Hong Lin;Te-Tsui Lee;Ji-Yen Cheng;Pei-Kuen Wei;Eric Y. Chuang;Konan Peck |
| 臺大學術典藏 |
2010 |
Verifying expressed transcript variants by detecting and assembling stretches of consecutive exons
|
Peck, K.; ERIC YAO-YU CHUANG; Hsiao, T.-H.;Lin, C.-H.;Lee, T.-T.;Cheng, J.-Y.;Wei, P.-K.;Chuang, E.Y.;Peck, K.; Hsiao, T.-H.; Lin, C.-H.; Lee, T.-T.; Cheng, J.-Y.; Wei, P.-K.; Chuang, E.Y. |
| 臺大學術典藏 |
2018-09-10T08:10:21Z |
Verifying expressed transcript variants by detecting and assembling stretches of consecutive exons.
|
ERIC YAO-YU CHUANG; ERIC YAO-YU CHUANG; ERIC YAO-YU CHUANG |
| 國立臺灣科技大學 |
1996 |
Verifying Fuzzy Domain Theories Using a Neural Network Model
|
Lee, Hahn-Ming;Chen, Jyh-Ming ;En-Chieh Chang |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
Verifying Recursive Programs Using Intraprocedural Analyzers.
|
Chen, Yu-Fang;Hsieh, Chiao;Tsai, Ming-Hsien;Wang, Bow-Yaw;Wang, Farn; Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-05-04T07:59:08Z |
Verifying scenarios with time Petri-nets.
|
Lee, Jonathan; Pan, Jiann-I; Kuo, Jong-Yih; JONATHAN LEE |
| 國立彰化師範大學 |
1998-02 |
Verifying task-based specifications in conceptual graphs
|
Lee, J. ; Lai, Lien-Fu |
| 臺大學術典藏 |
2020-05-04T07:59:10Z |
Verifying task-based specifications in conceptual graphs.
|
Lee, Jonathan; Lai, Lein F.; JONATHAN LEE |
| 朝陽科技大學 |
2017-11 |
Verifying the Determinants of the Mortgage Defaults on Home Mortgage
|
Wei-Wen Wu, Jian-Fa Li, Cheng-Yih Hong |
| 國立政治大學 |
2018-06 |
Verifying the Invariance of a Measurement Model for Flourishing in Life Among Adults of Various Ages
|
陳柏霖; Chen, Po-Lin; 余民寧; Yu, Min-Ning |
| 元智大學 |
2019-06-19 |
Verifying the relationship between team coaching leadership and team effectiveness through a moderated-mediation model
|
Kuo, C. Y.; Huang M.-P. |
| 元智大學 |
2019-06-19 |
Verifying the relationship between team coaching leadership and team effectiveness through a moderated-mediation model
|
Kuo, C. Y.; Huang M.-P. |
| 國立臺灣師範大學 |
2008 |
Verifying the Teaching Performance Model for Elementary School teachers from the Perspective of Multilevel Self-Efficacy － Taking Taoyuan as the Example
|
Lee I Sui; 李宜穗 |
| 中國文化大學 |
2013-10-25 |
Verifying Three-Dimensional Skull Model Reconstruction Using Cranial Index of Symmetry
|
Kung, WM (Kung, Woon-Man); Chen, ST (Chen, Shuo-Tsung); Lin, CH (Lin, Chung-Hsiang); Lu, YM (Lu, Yu-Mei); Chen, TH (Chen, Tzu-Hsuan); Lin, MS (Lin, Muh-Shi) |
| 東海大學 |
2013 |
Verifying Three-Dimensional Skull Model Reconstruction Using Cranial Index of Symmetry
|
Kung, W.-M.; Chen, S.-T.; Lin, C.-H.; Lu, Y.-M.; Chen, T.-H.; Lin, M.-S. |
| 亞洲大學 |
1996-08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
Jeffrey J. P. Tsai;S. Yang, C. Chang, E. Juan |
| 亞洲大學 |
1996-08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996.08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;P.Chang;P.Chang;E.Juan;E.Juan |
| 臺大學術典藏 |
2018-09-10T04:59:10Z |
Verifying Web applications using bounded model checking
|
Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO |
