Вы здесь

Главная

Zhang W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Propositional Logic-Based Mehtod for Verification of Feature Models 2004 Zhang W., Zhao H., Mei H. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005
СТ Improving XML Query Performance Using Social Classes 2004 Zhang W., Pollok D. Lecture Notes in Computer Science 20.05.2004
СТ Combining Graphical and Formal Development of Open Distributed Systems 2002 Johnsen E. B., Zhang W., Owe O., Aredo D. B. Lecture Notes in Computer Science 21.06.2002
СТ Applying SDL Specifications and Tools to the Verification of Procedures 2001 Zhang W. Lecture Notes in Computer Science 04.08.2001
СТ The Real Benefits of Object-Relational DB-Technology for Object-Oriented Software Development 2001 Zhang W., Ritter N. Lecture Notes in Computer Science 25.07.2001
СТ Weakly Independent Database Schemes 1997 Wang K., Zhang W., Chau S. -C. Acta Informatica 05.02.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Web Information Systems Engineering - WISE 2021, Part II: Proc./22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne,VIC,Australia, October 2021 2021 Lecture Notes in Computer Science
  1. Zhang W.
  2. Zou L.
  3. Maamar Z.
  4. Chen L.
 14.01.2022
СБ Web Information Systems Engineering - WISE 2021, Part I: Proc./22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne,VIC,Australia, October 2021 2021 Lecture Notes in Computer Science
  1. Zhang W.
  2. Zou L.
  3. Maamar Z.
  4. Chen L.
 14.01.2022
СБ Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021 2021 Lecture Notes in Computer Science
  1. Qin Sh.
  2. Woodcock J.
  3. Zhang W.
 10.12.2021
СБ Databases Theory and Applications: Proc./27th Australian Database Conference, ADC 2016, Sydney, NSW, September 2016 2016 Lecture Notes in Computer Science
  1. Cheema M. A.
  2. Zhang W.
  3. Chang L.
 22.11.2016
СБ High Performance Computing and Applications: Revised Selected Papers/3rd International Conference, HPCA 2015, Shanghai, China, July 2015 2016 Lecture Notes in Computer Science
  1. Xie J.
  2. Chen Z.
  3. Douglas C. C.
  4. Zhang W.
 25.08.2016
СБ High Performance Computing and Applacations: Revised Selected Papers/2nd International Conference, HPCA 2009, Shanghai, China, August 2009 2010 Lecture Notes in Computer Science
  1. Zhang W.
  2. Chen Z.
  3. Douglas C. C.
  4. Tong W.
 01.05.2010
СБ Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006 2006 Lecture Notes in Computer Science
  1. Graf S.
  2. Zhang W.
 11.01.2007