Вы здесь
Yu Y.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | The Vesta Approach to Software Configuration Management | 2001 | Heydon A., Levin R., Mann T., Yu Y. | Systems Research Center | 17.07.2002 | |||
| П | The Vesta Software Configuration Management System | 2001 | Heydon A., Levin R., Mann T., Yu Y. | Systems Research Center | 17.07.2002 | |||
| СТ | JPT: A Java Parallelization Tool | 1999 | Beyls K., D Hollander E., Yu Y. | Lecture Notes in Computer Science | 18.11.1999 | |||
| П | Automated Proofs of Object Code for a Widely Used Microprocessor | 1993 | Yu Y. | Digital | 16.03.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Provable and Practical Security: Proc./15th International Conference, ProvSec 2021, Guangzhou, China, November 2021 | 2021 | Lecture Notes in Computer Science |
|
26.11.2021 | |||
| СБ | Information Security and Cryptology: Revised Selected Papers/17th International Conference, Inscrypt 2021, Virtual Event, August 2021 | 2021 | Lecture Notes in Computer Science |
|
26.11.2021 | |||
| СБ | Distributed Artificial Intelligence: Proc./2nd International Conference, DAI 2020, Nanjing, China, October 2020 | 2020 | Lecture Notes in Artificial Intelligence |
|
15.01.2021 | |||
| СБ | The Semantic Web: Proc./4th Asian Conference, ASWC 2009, Shanghai, China, December 2009 | 2009 | Lecture Notes in Computer Science |
|
01.05.2010 |