Вы здесь
Cai L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | On the Amount of Nondeterminism and the Power of Verifying | 1993 | Cai L., Chen J. | Lecture Notes in Computer Science | 20.10.1993 | |||
| СТ | A Transformational Approach to Generating Application-Specific Environments | 1992 | Garlan D., Cai L., Nord R. L. | Software Engineering Notes | 13.03.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Algorithms and Computation: Proc./24th International Symposium, ISAAC 2013, Hong Kong, China, December 2013 | 2013 | Lecture Notes in Computer Science |
|
18.02.2014 |