Вы здесь

Главная

Sun J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Generating MSCs from an Integrated Formal Specification Language 2004 Dong J. S., Qin S., Sun J. Lecture Notes in Computer Science 21.05.2004
СТ ZML: XML Support for Standard Z 2003 Utting M., Toyn I., Sun J., Martin A., Dong J. S., Daley N., Currie D. Lecture Notes in Computer Science 20.06.2003
СТ Z Approach to Semantic Web 2002 Dong J. S., Sun J., Wang H. Lecture Notes in Computer Science 20.11.2002
СТ E-commerce and Computer Science Education 2000 Ge Y., Sun J. SIGCSE Bull. 04.05.2000
СТ Dynamic Selectivity Estimation for Multidimensional Queries 1993 Grosky W. I., Sun J., Fotouhi F. Lecture Notes in Computer Science 01.12.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods and Software Engineering: Proc./20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 2018 2018 Lecture Notes in Computer Science
  1. Sun J.
  2. Sun M.
 27.11.2018
СБ Internet and Distributed Computing Systems: Proc./11th International Conference, IDCS 2018, Tokyo, Japan, October 2018 2018 Lecture Notes in Computer Science
  1. Xiang Y.
  2. Sun J.
  3. Fortino G.
  4. Guerrieri A.
 27.11.2018
СБ FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014 2014 Lecture Notes in Computer Science
  1. Jones C.
  2. Pihlajasaari P.
  3. Sun J.
 05.05.2014
СБ Formal Methods and Software Engineering: Proc./15th International Conference, ICFEM 2013, Queenstown, New Zealand, October 2013 2013 Lecture Notes in Computer Science
  1. Groves L.
  2. Sun J.
 29.10.2013
СБ Grid and Cooperative Computing - GCC 2004 Workshops: Proc./GCC 2004 International Workshops, IGKG, SGT, AAC-GEVO and VVS. Wuhan, China, October 2004 2004 Lecture Notes in Computer Science
  1. Jin H.
  2. Pan Y.
  3. Xiao N.
  4. Sun J.
 15.12.2004
СБ Grid and Cooperative Computing - GCC 2004: Proc./Third International Conference, Wunan, China, October 2004 2004 Lecture Notes in Computer Science
  1. Jin H.
  2. Pan Y.
  3. Xiao N.
  4. Sun J.
 15.12.2004