|
English
|
正體中文
|
简体中文
|
总笔数 :2822924
|
|
造访人次 :
30089907
在线人数 :
929
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"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]项目
|
