يعرض 1 - 10 نتائج من 243 نتيجة بحث عن '"Guzman, Laura"', وقت الاستعلام: 0.89s تنقيح النتائج
  1. 1
    تقرير

    المصدر: EPTCS 402, 2024, pp. 4-17

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, I.2.3

  2. 2
    رسالة جامعية

    المؤلفون: Abella Guzman, Laura

    المساهمون: University/Department: Universitat Rovira i Virgili. Departament de Química Física i Inorgànica

    مرشدي الرسالة: Poblet Rius, Josep Maria, Rodríguez Fortea, Antonio

    المصدر: TDX (Tesis Doctorals en Xarxa)

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

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

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Herber, Paula, editorAff7, Wijs, Anton, editorAff8

    المصدر: Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:279-301

  4. 4
  5. 5
  6. 6
  7. 7
    دورية أكاديمية
  8. 8
    دورية أكاديمية
  9. 9
  10. 10