|
English
|
正體中文
|
简体中文
|
总笔数 :2856565
|
|
造访人次 :
53388812
在线人数 :
950
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
显示项目 799516-799525 / 2348973 (共234898页)
<< < 79947 79948 79949 79950 79951 79952 79953 79954 79955 79956 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
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 |
显示项目 799516-799525 / 2348973 (共234898页)
<< < 79947 79948 79949 79950 79951 79952 79953 79954 79955 79956 > >>
每页显示[10|25|50]项目
|
