يعرض 1 - 10 نتائج من 1,873 نتيجة بحث عن '"Property testing"', وقت الاستعلام: 1.65s تنقيح النتائج
  1. 1
    دورية أكاديمية

    المؤلفون: Luo, J., Wang, Q., Li, L.

    المصدر: IEEE Transactions on Information Theory IEEE Trans. Inform. Theory Information Theory, IEEE Transactions on. 70(7):5092-5103 Jul, 2024

  2. 2
    مؤتمر

    المؤلفون: Zhang, Weiyi, Xue, Zhenxuan

    المصدر: 2023 IEEE 18th Conference on Industrial Electronics and Applications (ICIEA) Industrial Electronics and Applications (ICIEA), 2023 IEEE 18th Conference on. :1501-1506 Aug, 2023

    Relation: 2023 IEEE 18th Conference on Industrial Electronics and Applications (ICIEA)

  3. 3
    دورية أكاديمية
  4. 4
    مؤتمر

    المصدر: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2023 IEEE Conference on. :317-326 Apr, 2023

    Relation: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST)

  5. 5
    مؤتمر

    المصدر: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2022 IEEE 63rd Annual Symposium on. :75-86 Oct, 2022

    Relation: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)

  6. 6
    مؤتمر

    المصدر: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2022 IEEE 63rd Annual Symposium on. :1205-1213 Oct, 2022

    Relation: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)

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

    المصدر: IEEE Transactions on Instrumentation and Measurement IEEE Trans. Instrum. Meas. Instrumentation and Measurement, IEEE Transactions on. 72:1-19 2023

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

    المؤلفون: Khadiev, KamilAff26, Serov, DanilAff26

    المساهمون: Hartmanis, Juris, Founding EditorAff1, van Leeuwen, Jan, Series EditorAff2, Hutchison, David, Editorial Board MemberAff3, Kanade, Takeo, Editorial Board MemberAff4, Kittler, Josef, Editorial Board MemberAff5, Kleinberg, Jon M., Editorial Board MemberAff6, Kobsa, Alfred, Series EditorAff7, Mattern, Friedemann, Editorial Board MemberAff8, Mitchell, John C., Editorial Board MemberAff9, Naor, Moni, Editorial Board MemberAff10, Nierstrasz, Oscar, Series EditorAff11, Pandu Rangan, C., Editorial Board MemberAff12, Sudan, Madhu, Series EditorAff13, Terzopoulos, Demetri, Editorial Board MemberAff14, Tygar, Doug, Editorial Board MemberAff15, Weikum, Gerhard, Series EditorAff16, Vardi, Moshe Y, Series EditorAff17, Goos, Gerhard, Founding EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Cho, Da-Jung, editorAff24, Kim, Jongmin, editorAff25

    المصدر: Unconventional Computation and Natural Computation : 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings. 14776:134-147

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

    المؤلفون: Batu, TuğkanAff25, Trehan, AmitabhAff26, Trehan, ChhayaAff25, Aff27

    المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, van Leeuwen, Jan, Series EditorAff3, Hutchison, David, Editorial Board MemberAff4, Kanade, Takeo, Editorial Board MemberAff5, Kittler, Josef, Editorial Board MemberAff6, Kleinberg, Jon M., Editorial Board MemberAff7, Kobsa, Alfred, Series EditorAff8, Mattern, Friedemann, Editorial Board MemberAff9, Mitchell, John C., Editorial Board MemberAff10, Naor, Moni, Editorial Board MemberAff11, Nierstrasz, Oscar, Series EditorAff12, Pandu Rangan, C., Editorial Board MemberAff13, Sudan, Madhu, Series EditorAff14, Terzopoulos, Demetri, Editorial Board MemberAff15, Tygar, Doug, Editorial Board MemberAff16, Weikum, Gerhard, Series EditorAff17, Vardi, Moshe Y, Series EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Emek, Yuval, editorAff24

    المصدر: Structural Information and Communication Complexity : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27–29, 2024, Proceedings. 14662:64-82

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

    المؤلفون: Li, YifeiAff9, Aff10, Yang, DonghuaAff9, Li, JianzhongAff10

    المساهمون: 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, Wu, Weili, editorAff7, Guo, Jianxiong, editorAff8

    المصدر: Combinatorial Optimization and Applications : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II. 14462:203-214