يعرض 1 - 10 نتائج من 165 نتيجة بحث عن '"Verbakel, J"', وقت الاستعلام: 1.60s تنقيح النتائج
  1. 1
  2. 2
  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, Yung, Moti, Editorial Board MemberAff6, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8

    المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. 13994:44-52

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

    المساهمون: 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, Pang, Jun, editorAff8, Zhang, Lijun, editorAff9

    المصدر: Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. 12153:1-16

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