English  |  正體中文  |  简体中文  |  總筆數 :2853327  
造訪人次 :  45046096    線上人數 :  1773
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

跳至: [ 中文 ] [ 數字0-9 ] [ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ]
請輸入前幾個字:   

顯示項目 911901-911925 / 2346084 (共93844頁)
<< < 36472 36473 36474 36475 36476 36477 36478 36479 36480 36481 > >>
每頁顯示[10|25|50]項目

機構 日期 題名 作者
國立成功大學 2021 Verificationtalk: A verification and security mechanism for iot applications Shieh, M.-Z.;Lin, Y.-B.;Hsu, Y.-J.
國立成功大學 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

顯示項目 911901-911925 / 2346084 (共93844頁)
<< < 36472 36473 36474 36475 36476 36477 36478 36479 36480 36481 > >>
每頁顯示[10|25|50]項目