|
English
|
正體中文
|
简体中文
|
總筆數 :2822924
|
|
造訪人次 :
30092848
線上人數 :
908
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"lei c l"的相關文件
顯示項目 66-79 / 79 (共4頁) << < 1 2 3 4 > >> 每頁顯示[10|25|50]項目
國立臺灣大學 |
1993 |
A dynamic cryptographic key assignment scheme in a tree structure
|
Liaw, H. T.; Wang, S. J.; Lei, C. L. |
國立臺灣大學 |
1993 |
A Secure User Hierarchy Scheme Based on Knapsack Problem
|
Liaw, H. T.; Wang, S. J.; Lei, C. L. |
國立臺灣大學 |
1993 |
An Optimal Algorithm to Assign Cryptographic Keys in a Tree Structure for Access Control
|
Liaw, H. T.; Lei, C. L. |
國立臺灣大學 |
1993 |
Efficient Parallel Algorithms for Finding the Majority Element
|
Lei, C. L.; Liaw, H. T. |
國立臺灣大學 |
1992 |
Two Efficient Algorithms for Finding the Majority Element
|
Liaw, H. T.; Lei, C. L. |
國立臺灣大學 |
1989 |
An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols
|
Shen, M.; Lei, C. L.; Chang, C. C. |
國立臺灣大學 |
1987 |
Modalities For Model Checking: Branching Time Strikes Back
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1986 |
Model Checking in the Propositional Mu-Calculus
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1986 |
Efficient Model Checking in Fragments of the Propositional Mu-Calculus
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1986 |
Temporal Reasoning under Generalized Fairness Constraints
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1985 |
Branching Time Logic Strikes Back
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1985 |
Modalities For Model Checking: Branching Time Strikes Back
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1985 |
Temporal Model Checking under Generalized Fairness Constraints
|
Emerson, E. A.; Lei, C. L. |
國立臺灣大學 |
1984 |
Model Checking under Generalized Fairness Constraintx
|
Emerson, E. A.; Lei, C. L. |
顯示項目 66-79 / 79 (共4頁) << < 1 2 3 4 > >> 每頁顯示[10|25|50]項目
|