Вы здесь

Главная

Deng X.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ SyncGen: An Aspect-Oriented Framework for Synchronization 2004 Deng X., Dwyer M., Hatcliff J., Mizuno M. Lecture Notes in Computer Science 15.05.2004
СТ Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems 2004 Childs A., Greenwald J., Ranganath V. P., Deng X., Dwyer M., Hatcliff J., Jung G., Shanti P., Singh G. Lecture Notes in Computer Science 16.04.2004
СТ Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software 2003 Deng X., Dwyer M. B., Hatcliff J., Jung G., Robby., Singh G. Lecture Notes in Computer Science 31.01.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Frontiers in Algorithms: Proc./13th International Workshop, FAW 2019, Sanya, China, April 2019 2019 Lecture Notes in Computer Science
  1. Chen Y.
  2. Deng X.
  3. Lu M.
 06.05.2019
СБ Frontiers in Algorithmics: Proc./Third International Workshop, FAW 2009. Hefei, China, June 2009 2009 Lecture Notes in Computer Science
  1. Deng X.
  2. Hopcroft J. E.
  3. Xue J.
 24.10.2009
СБ Internet and Networks Economics: Proc./Third International Workshop, WINE 2007. San Diego, CA, USA, December 2007 2007 Lecture Notes in Computer Science
  1. Deng X.
  2. Graham F. Ch.
 15.04.2008
СБ Internet and Network Economics: Proc./ First International Workshop, WINE 2005. Hong Kong, China, December 2005 2005 Lecture Notes in Computer Science
  1. Deng X.
  2. Ye Y.
 28.02.2006
СБ Algorithms and Computation: Proc./16th International Symposium, ISAAC 2005. Sanya, Hainan, China, December 2005 2005 Lecture Notes in Computer Science
  1. Deng X.
  2. Du D.
 21.02.2006