يعرض 1 - 10 نتائج من 37 نتيجة بحث عن '"Steve Jeffrey"', وقت الاستعلام: 0.92s تنقيح النتائج
  1. 1
  2. 2
    مؤتمر

    المصدر: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2018 23rd International Conference on. :160-169 Dec, 2018

    Relation: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

  3. 3
  4. 4
  5. 5
    كتاب إلكتروني

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Ait-Ameur, Yamine, editorAff8, Qin, Shengchao, editorAff9

    المصدر: Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings. 11852:470-486

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

    المؤلفون: Tueno Fotso, Steve JeffreyAff15, Aff16, Frappier, MarcAff15, Laleau, RégineAff16, Mammar, AmelAff17, Leuschel, MichaelAff18

    المساهمون: 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, Furia, Carlo A., editorAff13, Winter, Kirsten, editorAff14

    المصدر: Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. 11023:377-397

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

    المؤلفون: Tueno Fotso, Steve JeffreyAff17, Aff18, Frappier, MarcAff17, Laleau, RégineAff18, Mammar, AmelAff19

    المساهمون: 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, Butler, Michael, editorAff13, Raschke, Alexander, editorAff14, Hoang, Thai Son, editorAff15, Reichl, Klaus, editorAff16

    المصدر: Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings. 10817:262-276

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

    المؤلفون: Mammar, AmelAff17, Frappier, MarcAff18, Tueno Fotso, Steve JeffreyAff18, Aff19, Laleau, RégineAff19

    المساهمون: 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, Butler, Michael, editorAff13, Raschke, Alexander, editorAff14, Hoang, Thai Son, editorAff15, Reichl, Klaus, editorAff16

    المصدر: Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings. 10817:353-366