國立臺灣科技大學 |
2017 |
Formal analysis on RFID authentication protocols against de-synchronization attack
|
Yeh, K.-H.;Lo, N.-W.;Kuo, R.-Z.;Su, C.;Chen, H.-Y. |
淡江大學 |
2024-02-20T04:05:23Z |
Formal aspects of debt instruments classified as amortized cost- A study on the decision of Su Zi No. 1579 of Taipei High Administrative Court in 2016
|
Hwang, Tien-Wei;Hwang, Tzu-Wen;Chan, Yu-Hsin;Hwang, Chun-Chieh |
國立交通大學 |
2014-12-08T15:25:38Z |
Formal compliance verification of interface protocols
|
Yang, YC; Huang, JD; Yen, CC; Shih, CH; Jou, JY |
臺北醫學大學 |
2006 |
Formal Concept Analysis and Document Clustering via Granular Computing
|
蔣以仁; Tsau Young Lin; I-Jen Chiang |
臺大學術典藏 |
2018-09-10T08:18:34Z |
Formal Deadlock Checking on High-Level SystemC Designs
|
Chun-Nan Chou;Chang-Hong Hsu;Yueh-Tung Chao;Chung-Yang (Ric) Huang; Chun-Nan Chou; Chang-Hong Hsu; Yueh-Tung Chao; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG |
臺大學術典藏 |
2018-09-10T07:31:23Z |
Formal Description of Lexical Semantic Relations
|
SHU-KAI HSIEH; SHU-KAI HSIEH |
國立臺灣師範大學 |
2014-10-27T15:15:17Z |
Formal Description of Lexical Semantic Relations=
|
謝舒凱 |
國立臺灣師範大學 |
2014-10-27T15:15:17Z |
Formal Description of Lexical Semantic Relations=
|
謝舒凱 |
國立臺灣大學 |
2008 |
Formal Discussion on Dr. Sasaki and Dr. Sakai's Paper on Psychiatry and Japan's Traditional Healing
|
高淑芬; GAU, SUSAN SHUR-FEN |
臺大學術典藏 |
2020-03-02T03:11:25Z |
Formal discussion on Dr. Sasaki and Dr. Sakai's paper on psychiatry and Japan's traditional healing
|
Susan Shur-Fen Gau; SUSAN SHUR-FEN GAU |
國立政治大學 |
2006-01 |
Formal Governance Mechanisms Relational Governance Mechanisms and Transactions-Specific Investments in Supplier-Manufacturer Relationships
|
于卓民;廖采如;林政道; Yu, Chwo-Ming Joseph ; Liao, Tsai-Ju ; Lin, Zheng-Dao |
中國文化大學 |
1999-05-01 |
Formal Grammar Instruction and the Role of Grammar in the EFL Classroom
|
陳建宇 |
國立中山大學 |
2005-07-05 |
Formal Logic as a Learning Facilitation Tool
|
Alexei Tretiakov;Nian-Shing Chen;Kinshuk ;Sven Hartmann |
國立臺灣科技大學 |
2008 |
Formal mentoring in military academies
|
Hu,C. Y.;Wang,J. C.;Sun,M. H.;Chen,H. H. |
國立臺灣科技大學 |
2008 |
Formal mentoring in military academies
|
Hu, C.Y.;Wang, J.C.;Sun, M.H.;Chen, H.H. |
國立政治大學 |
2008.07 |
Formal mentoring in military academies
|
胡昌亞; Wang, Jung-Chuen; Sun, Min-Hwa; Chen, Hsin-Hung; Hu, Changya; Wang, Jung-Chuen; Sun, Min-Hwa; Chen, Hsin-Hung |
淡江大學 |
1997-11-16 |
Formal model of participator dependent multimedia presentations
|
施國琛; Shih, Timothy K.; Lo, Steven K. C.; Jiang, Ding-rong |
亞洲大學 |
1997-11 |
Formal Model of Participator Dependent Multimedia Presentations
|
Timothy K. Shih; Steven K. C. Lo; Ding-Rong Jiang |
亞洲大學 |
1996-11 |
Formal Model of Temporal Properties Underlying Multimedia Presentations
|
Timothy K. Shih; Lain-Jinn Hwang; Jich-Yan Tsai |
淡江大學 |
1997-07 |
Formal model of temporal properties underlying multimedia presentations
|
Shih, Timothy K.; Hwang, Lain-jinn; Tsai, Jich-yan |
亞洲大學 |
2008 |
Formal Modeling and Analysis of Secure Mobile Agent Systems
|
蔡進發;Jeffrey, J.P.Tsai |
臺大學術典藏 |
2018-09-10T08:14:42Z |
Formal modeling and verification for Network-on-chip
|
Chen, Y.-R.;Su, W.-T.;Hsiung, P.-A.;Lan, Y.-C.;Hu, Y.-H.;Chen, S.-J.; Chen, Y.-R.; Su, W.-T.; Hsiung, P.-A.; Lan, Y.-C.; Hu, Y.-H.; Chen, S.-J.; SAO-JIE CHEN |
亞洲大學 |
2008-01 |
Formal Modelling and Analysis of a Secure Mobile Agent System
|
Jeffrey J. P. Tsai;L. Ma |
國立中山大學 |
1995-10 |
Formal reasoning in intelligent database systems
|
Shie-Jue Lee |
臺大學術典藏 |
2018-09-10T08:46:23Z |
Formal Reset Recovery Slack Calculation at the Register Transfer Level
|
C. N. Chung; C. W. Chang; K. H. Chang; S. Y. Kuo; SY-YEN KUO |