Вы здесь
Zheng G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Logical Objects with Constraints | 1994 | Xu D., Zheng G. | SIGPLAN Notices | 09.02.1995 | |||
| СТ | Fair Transition System Specification: An Integrated Approach | 1996 | Jia G., Zheng G. | SIGPLAN Notices | 30.07.1996 | |||
| СТ | Compositional Model-Checking for Real-time Systems | 1998 | Hou J., Li X., Fan X., Zheng G. | Software Engineering Notes | 01.07.1998 | |||
| СТ | Design of Cluster Safe File System | 2003 | Zheng G., Ding K., He X. | Lecture Notes in Computer Science | 27.11.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Medical Imaging and Augmented Reality: Proc./7th International Conference, MIAR 2916, Bern, Switzerland, August 2016 | 2016 | Lecture Notes in Computer Science |
|
07.10.2016 | |||
| СБ | Computational Methods and Clinical Applications for Spine Imaging: Revised Selected Papers/5th International Workshop and Challenge, CSI 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018 | 2019 | Lecture Notes in Computer Science |
|
23.04.2019 | |||
| СБ | Computational Methods and Clinical Applications in Musculoskeletal Imaging: Revised Selected Papers/6th International Workshop, MSKI 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018 | 2019 | Lecture Notes in Computer Science |
|
19.02.2019 |