يعرض 1 - 10 نتائج من 323 نتيجة بحث عن '"Logical modeling"', وقت الاستعلام: 1.06s تنقيح النتائج
  1. 1
    كتاب إلكتروني

    المؤلفون: Ribeiro, TonyAff9, Folschette, MaximeAff10, Magnin, MorganAff11, Aff12, Okazaki, KotaroAff13, Kuo-Yen, LoAff13, Inoue, KatsumiAff12

    المساهمون: 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, Muggleton, Stephen H., editorAff7, Tamaddoni-Nezhad, Alireza, editorAff8

    المصدر: Inductive Logic Programming : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings. 13779:117-126

  2. 2
    مؤتمر

    المصدر: 2020 IEEE International Symposium on Accreditation of Engineering and Computing Education (ICACIT) Engineering and Computing Education (ICACIT), 2020 IEEE International Symposium on Accreditation of. :1-4 Nov, 2020

    Relation: 2020 International Symposium on Accreditation of Engineering and Computing Education (ICACIT)

  3. 3
    مؤتمر

    المصدر: 2019 International Multi-Conference on Industrial Engineering and Modern Technologies (FarEastCon) Industrial Engineering and Modern Technologies (FarEastCon), 2019 International Multi-Conference on. :1-4 Oct, 2019

    Relation: 2019 International Multi-Conference on Industrial Engineering and Modern Technologies (FarEastCon)

  4. 4
    مؤتمر

    المؤلفون: Moiseev, D.

    المصدر: 2019 International Multi-Conference on Industrial Engineering and Modern Technologies (FarEastCon) Industrial Engineering and Modern Technologies (FarEastCon), 2019 International Multi-Conference on. :1-5 Oct, 2019

    Relation: 2019 International Multi-Conference on Industrial Engineering and Modern Technologies (FarEastCon)

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

    المؤلفون: Feret, JérômeAff10, Aff11, Salazar, AlbinAff10, Aff11

    المساهمون: 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, Dragoi, Cezara, editorAff7, Emmi, Michael, editorAff8, Wang, Jingbo, editorAff9

    المصدر: Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings. 13881:228-251

  6. 6
    مؤتمر

    المصدر: 2018 3rd Russian-Pacific Conference on Computer Technology and Applications (RPC) Computer Technology and Applications (RPC), 2018 3rd Russian-Pacific Conference on. :1-4 Aug, 2018

    Relation: 2018 3rd Russian-Pacific Conference on Computer Technology and Applications (RPC)

  7. 7
    مؤتمر

    المصدر: 2018 Third International Conference on Human Factors in Complex Technical Systems and Environments (ERGO)s and Environments (ERGO) Human Factors in Complex Technical Systems and Environments (ERGO), 2018 Third International Conference on. :106-110 Jul, 2018

    Relation: 2018 Third International Conference on Human Factors in Complex Technical Systems and Environments (ERGO)

  8. 8
    مؤتمر

    المؤلفون: Zeng, Yin, Li, Shuliang, Deng, Liangru

    المصدر: 2017 2nd International Conference on Knowledge Engineering and Applications (ICKEA) Knowledge Engineering and Applications (ICKEA), 2017 2nd International Conference on. :76-80 Oct, 2017

    Relation: 2017 2nd International Conference on Knowledge Engineering and Applications (ICKEA)

  9. 9
  10. 10
    مؤتمر

    المصدر: 2016 8th Cairo International Biomedical Engineering Conference (CIBEC) Biomedical Engineering Conference (CIBEC), 2016 8th Cairo International. :114-117 Dec, 2016

    Relation: 2016 8th Cairo International Biomedical Engineering Conference (CIBEC)