يعرض 1 - 10 نتائج من 315 نتيجة بحث عن '"Man, Yue"', وقت الاستعلام: 0.95s تنقيح النتائج
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
    كتاب إلكتروني

    المؤلفون: Avgustinov, PavelAff17, Backhouse, KevinAff17, Mo, Man YueAff17

    المساهمون: 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, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Havelund, Klaus, editorAff13, Peleska, Jan, editorAff14, Roscoe, Bill, editorAff15, de Vink, Erik, editorAff16

    المصدر: Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. 10951:666-670

  9. 9
  10. 10