Вы здесь

Главная

He J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Using Transition Systems to Unify UML Models 2002 Liu Z., Li X., He J. Lecture Notes in Computer Science 20.11.2002
М Algebraic Specification and Proof of Properties of a Mail Service 1986 Hoare C.A. R., He J. IFIP: TC 2, Working Conf. on Program Specification and Transformation 09.12.1999
СТ Unifying Theories for Parallel Programming 1997 Hoare T., He J. Lecture Notes in Computer Science 24.10.1997
СТ Provably Correct Systems 1994 He J., Hoare C.A. R., Franzle M., Muller-Olm M., Olderog E. -R., Schenke M., Hansen M. R., Ravn A. P., Rischel H. Lecture Notes in Computer Science 19.10.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Web Information Systems Engineering - WISE 2013 Workshops: Revised Selected Papers/WISE 2013 International Workshops, BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC, Nanjing, China, October 2013 2014 Lecture Notes in Computer Science
  1. Huang Z.
  2. Liu C.
  3. He J.
  4. Huang G.
 22.04.2014
СБ Health Information Science: Proc./3rd International Conference, HIS 2014, Shenzhen, China, April 2014 2014 Lecture Notes in Computer Science
  1. Zhang Y.
  2. Yao G.
  3. He J.
  4. Wang L.
 22.04.2014
СБ Health Information Science: Proc./2nd International Conference, HIS 2013, London, UK, March 2013 2013 Lecture Notes in Computer Science
  1. Huang G.
  2. Liu X.
  3. He J.
  4. Klawoon F.
 11.06.2013
СБ Web Technologies and Applications: Proc./ APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 2012 2012 Lecture Notes in Computer Science
  1. Wang H.
  2. Zou L.
  3. Huang G.
  4. He J.
 11.05.2012
СБ Health Information Science: Proc./1st International Conference, HIS 2012, Beijing, China, April 2012 2012 Lecture Notes in Computer Science
  1. He J.
  2. Liu X.
  3. Krupinski E. A.
  4. Xu G.
 11.05.2012
СБ Advanced Web and Network Technologies, and Applications: Revised Selected Papers/APWeb 2008 International Workshops: BIDM, IWHDM and DeWeb. Shengyang, China, April 2008 2008 Lecture Notes in Computer Science
  1. Ishikawa Y.
  2. He J.
  3. Xu G.
  4. Shi Y.
 27.01.2009
СБ Formal Methods and Software Engineering: Proc./8th International Conference ICFEM 2006, Macao,China,November 2006 2006 Lecture Notes in Computer Science
  1. Liu Zh.
  2. He J.
 10.02.2007