يعرض 1 - 10 نتائج من 3,132 نتيجة بحث عن '"monad"', وقت الاستعلام: 0.88s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2022 IEEE 3rd International Conference on System Analysis & Intelligent Computing (SAIC) System Analysis & Intelligent Computing (SAIC), 2022 IEEE 3rd International Conference on. :1-5 Oct, 2022

    Relation: 2022 IEEE 3rd International Conference on System Analysis & Intelligent Computing (SAIC)

  2. 2
    مؤتمر

    المصدر: 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS) RTAS Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022 IEEE 28th. :281-292 May, 2022

    Relation: 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)

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

    المؤلفون: Rosset, AloïsAff9, Zwart, MaaikeAff10, Hansen, Helle HvidAff11, Endrullis, JörgAff9

    المساهمون: Goos, Gerhard, Series 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, König, Barbara, editorAff7, Urbat, Henning, editorAff8

    المصدر: Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings. 14617:194-215

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

    المؤلفون: Yuan, ShenghaoAff10, Lion, BenjaminAff10, Besson, FrédéricAff10, Talpin, Jean-PierreAff10

    المساهمون: 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, Hermanns, Holger, editorAff7, Sun, Jun, editorAff8, Bu, Lei, editorAff9

    المصدر: Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings. 14464:385-401

  5. 5
    مؤتمر

    المصدر: 2020 IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC) System Analysis & Intelligent Computing (SAIC), 2020 IEEE 2nd International Conference on. :1-5 Oct, 2020

    Relation: 2020 IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC)

  6. 6
  7. 7
    دورية أكاديمية

    المؤلفون: Lucyshyn-Wright, Rory B. B.Aff1, IDs1048502309735y_cor1, Parker, Jason

    المصدر: Applied Categorical Structures: A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Computer Science, Logic, Order and Topology. 31(5)

  8. 8
    مؤتمر

    المصدر: 2018 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC) CYBERC Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC), 2018 International Conference on. :247-2477 Oct, 2018

    Relation: 2018 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)

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

    المؤلفون: Clauzade, LaurentAff22

    المساهمون: Dibon, Paul, Founding EditorAff1, Popkin, Jeremy, Founding EditorAff2, Hutton, Sarah, Honorary EditorAff3, Giglioni, Guido, Editor-in-ChiefAff4, Laursen, John Christian, Associate EditorAff5, Armogathe, Jean -Robert, Editorial Board MemberAff6, Clucas, Stephen, Editorial Board MemberAff7, Harrison, Peter, Editorial Board MemberAff8, Henry, John, Editorial Board MemberAff9, Maia Neto, Jose R., Editorial Board MemberAff10, Mulsow, Martin, Editorial Board MemberAff11, Paganini, Gianni, Editorial Board MemberAff12, Robertson, John, Editorial Board MemberAff13, Sebastian, Javier Fernández, Editorial Board MemberAff14, Thomson, Ann, Editorial Board MemberAff15, Verbeek, Theo, Editorial Board MemberAff16, Vermeir, Koen, Editorial Board MemberAff17, Chepurin, Kirill, editorAff18, Efal-Lautenschläger, Adi, editorAff19, Whistler, Daniel, editorAff20, Yuva, Ayşe, editorAff21

    المصدر: Hegel and Schelling in Early Nineteenth-Century France : Volume 2 - Studies. 247:75-95

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

    المؤلفون: Dagnino, FrancescoAff10, Farjudian, AminAff11, Moggi, EugenioAff10

    المساهمون: 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, Ábrahám, Erika, editorAff7, Dubslaff, Clemens, editorAff8, Tarifa, Silvia Lizeth Tapia, editorAff9

    المصدر: Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. 14446:313-331