يعرض 1 - 10 نتائج من 25 نتيجة بحث عن '"Zoń Natalia"', وقت الاستعلام: 0.78s تنقيح النتائج
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
    كتاب إلكتروني

    المؤلفون: Zon, NataliaAff22, Gilmore, StephenAff22

    المساهمون: Hutchison, David, Editorial Board MemberAff1, Kanade, Takeo, Editorial Board MemberAff2, Kittler, Josef, Editorial Board MemberAff3, Kleinberg, Jon M., Editorial Board MemberAff4, Mattern, Friedemann, Editorial Board MemberAff5, Mitchell, John C., Editorial Board MemberAff6, Naor, Moni, Editorial Board MemberAff7, Pandu Rangan, C., Editorial Board MemberAff8, Steffen, Bernhard, Editorial Board MemberAff9, Aff17, Aff21, Terzopoulos, Demetri, Editorial Board MemberAff10, Tygar, Doug, Editorial Board MemberAff11, Weikum, Gerhard, Series EditorAff12, Goos, Gerhard, Founding EditorAff13, Hartmanis, Juris, Founding EditorAff14, Bertino, Elisa, Editorial Board MemberAff15, Gao, Wen, Editorial Board MemberAff16, Woeginger, Gerhard, Editorial Board MemberAff18, Yung, Moti, Editorial Board MemberAff19, Margaria, Tiziana, editorAff20

    المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. 11246:274-287

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

    المؤلفون: Gilmore, StephenAff16, Hillston, JaneAff16, Zoń, NataliaAff16

    المساهمون: 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, Probst, Christian W., editorAff13, Hankin, Chris, editorAff14, Hansen, René Rydhof, editorAff15

    المصدر: Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. 9560:140-158

  7. 7

    المؤلفون: Zoń, Natalia

    المساهمون: Gilmore, Stephen, Fleuriot, Jacques, other

    مصطلحات موضوعية: CARMA, formal modelling, CAS, Collective Adaptive Systems

    وصف الملف: application/pdf

  8. 8
    دورية أكاديمية
  9. 9
  10. 10