-
1مؤتمر
المؤلفون: Li Yu, Xu Yongsen, Xie Gaoyan, Zhan Zhiyuan
المصدر: Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393) Technology of object-oriented languages and systems Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings. :98-105 1999
Relation: Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31
-
2تقرير
-
3
-
4كتاب إلكتروني
المؤلفون: Xie, GaoyanAff18, Dang, ZheAff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Dough, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Grieskamp, Wolfgang, editorAff16, Weise, Carsten, editorAff17
المصدر: Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. 3997:170-186
-
5كتاب إلكتروني
المؤلفون: Dang, ZheAff21, Ibarra, Oscar H.Aff22, Li, ChengAff21, Xie, GaoyanAff21
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Calude, Cristian S., editorAff16, Dinneen, Michael J., editorAff17, Păun, Gheorghe, editorAff18, Pérez-Jímenez, Mario J., editorAff19, Rozenberg, Grzegorz, editorAff20
المصدر: Unconventional Computation : 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings. 3699:82-93
-
6كتاب إلكتروني
المؤلفون: Xie, GaoyanAff18, Dang, ZheAff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Dough, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Grabowski, Jens, editorAff16, Nielsen, Brian, editorAff17
المصدر: Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. 3395:155-169
-
7كتاب إلكتروني
المؤلفون: Dang, ZheAff18, Ibarra, Oscar H.Aff19, Pietro, Pierluigi SanAff20, Xie, GaoyanAff18
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Lodaya, Kamal, editorAff16, Mahajan, Meena, editorAff17
المصدر: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings. 3328:198-210
-
8كتاب إلكتروني
المؤلفون: Xie, GaoyanAff6, Li, ChengAff6, Dang, ZheAff6
المساهمون: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Ibarra, Oscar H., editorAff4, Dang, Zhe, editorAff5
المصدر: Implementation and Application of Automata : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings. 2759:163-175
-
9كتاب إلكتروني
المؤلفون: Xie, GaoyanAff6, Dang, ZheAff6, Ibarra, Oscar H.Aff7, Pietro, Pierluigi SanAff8
المساهمون: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Hunt, Warren A., Jr., editorAff4, Somenzi, Fabio, editorAff5
المصدر: Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings. 2725:93-105
-
10كتاب إلكتروني
المؤلفون: Xie, GaoyanAff5, Dang, ZheAff5, Ibarra, Oscar H.Aff6
المساهمون: Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Baeten, Jos C. M., editorAff1, Lenstra, Jan Karel, editorAff2, Parrow, Joachim, editorAff3, Woeginger, Gerhard J., editorAff4
المصدر: Automata, Languages and Programming : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings. 2719:668-680