|
English
|
正體中文
|
简体中文
|
Total items :2822924
|
|
Visitors :
30090272
Online Users :
1185
Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"lei c l"
Showing items 66-79 of 79 (4 Page(s) Totally) << < 1 2 3 4 > >> View [10|25|50] records per page
國立臺灣大學 |
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. |
Showing items 66-79 of 79 (4 Page(s) Totally) << < 1 2 3 4 > >> View [10|25|50] records per page
|