يعرض 1 - 10 نتائج من 36 نتيجة بحث عن '"Nguyen, Huu Hai"', وقت الاستعلام: 0.83s تنقيح النتائج
  1. 1
    دورية أكاديمية
  2. 2
    كتاب إلكتروني

    المؤلفون: Tran, Duc QuynhAff12, Nguyen, Doan DongAff12, Nguyen, Huu HaiAff13, Nguyen, Quang ThuanAff12

    المساهمون: Kacprzyk, Janusz, Series EditorAff1, Gomide, Fernando, Advisory EditorAff2, Kaynak, Okyay, Advisory EditorAff3, Liu, Derong, Advisory EditorAff4, Pedrycz, Witold, Advisory EditorAff5, Polycarpou, Marios M., Advisory EditorAff6, Rudas, Imre J., Advisory EditorAff7, Wang, Jun, Advisory EditorAff8, Le Thi, Hoai An, editorAff9, Pham Dinh, Tao, editorAff10, Le, Hoai Minh, editorAff11

    المصدر: Modelling, Computation and Optimization in Information Systems and Management Sciences : Proceedings of the 4th International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2021. 363:283-292

  3. 3
    مؤتمر

    المصدر: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE. :357-364 Nov, 2007

    Relation: 10th IEEE High Assurance Systems Engineering Symposium

  4. 4
    مؤتمر

    المصدر: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on. :307-320 Jul, 2007

    Relation: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)

  5. 5
  6. 6
  7. 7
    كتاب إلكتروني

    المؤلفون: Nguyen, Huu HaiAff1, Chin, Wei-NganAff1

    المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gupta, Aarti, editor, Malik, Sharad, editor

    المصدر: Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings. 5123:355-369

  8. 8
    كتاب إلكتروني

    المؤلفون: Nguyen, Huu HaiAff1, Kuncak, ViktorAff2, Chin, Wei-NganAff1, Aff3

    المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Logozzo, Francesco, editor, Peled, Doron A., editor, Zuck, Lenore D., editor

    المصدر: Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings. 4905:203-217

  9. 9
    كتاب إلكتروني

    المؤلفون: Nguyen, Huu HaiAff1, David, CristinaAff2, Qin, ShengchaoAff3, Chin, Wei-NganAff1, Aff2

    المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cook, Byron, editor, Podelski, Andreas, editor

    المصدر: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. 4349:251-266

  10. 10
    كتاب إلكتروني

    المؤلفون: Chin, Wei-NganAff18, Aff19, Nguyen, Huu HaiAff18, Qin, ShengchaoAff20, Rinard, MartinAff21

    المساهمون: 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, Hankin, Chris, editorAff16, Siveroni, Igor, editorAff17

    المصدر: Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. 3672:70-86