Вы здесь
Chen Ch.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Typeful Approach to Object-Oriented Programming with Multiple Inheritance | 2004 | Chen Ch., Shi R., Xi H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.09.2004 | ||
| СТ | Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell | 2004 | Chen Ch., Zhu D., Xi H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.09.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Network and System Security: Proc./15th International Conference, NSS 2021, Tianjin, China, October 2021 | 2021 | Lecture Notes in Computer Science |
|
15.02.2022 | |||
| СБ | Network and System Security: Proc./14th International Conference, NSS 2020, Melbourne,VIC,Australia, November 2020 | 2020 | Lecture Notes in Computer Science |
|
19.02.2021 | |||
| СБ | Embedded Software and Systems: Revised Selected Papers/First International Conference, ICESS 2004. Hangzhou, China, December 2004 | 2005 | Lecture Notes in Computer Science |
|
29.11.2005 |