يعرض 1 - 10 نتائج من 4,817 نتيجة بحث عن '"mechanized"', وقت الاستعلام: 1.25s تنقيح النتائج
  1. 1
    مؤتمر

    المؤلفون: Zhang, Wenxiang

    المصدر: 2024 3rd International Conference on Energy, Power and Electrical Technology (ICEPET) Energy, Power and Electrical Technology (ICEPET), 2024 3rd International Conference on. :1088-1093 May, 2024

    Relation: 2024 3rd International Conference on Energy, Power and Electrical Technology (ICEPET)

  2. 2
    مؤتمر

    المؤلفون: Lv, Yuanbo, Wang, Shibo

    المصدر: 2024 16th International Conference on Advanced Computational Intelligence (ICACI) Advanced Computational Intelligence (ICACI), 2024 16th International Conference on. :43-48 May, 2024

    Relation: 2024 16th International Conference on Advanced Computational Intelligence (ICACI)

  3. 3
    مؤتمر

    المؤلفون: Jing, Zhe, Zhang, Haomiao, Yang, Peihao

    المصدر: 2024 6th Asia Energy and Electrical Engineering Symposium (AEEES) Energy and Electrical Engineering Symposium (AEEES), 2024 6th Asia. :55-60 Mar, 2024

    Relation: 2024 6th Asia Energy and Electrical Engineering Symposium (AEEES)

  4. 4
    مؤتمر

    المصدر: 2023 5th International Conference on Electrical Engineering and Control Technologies (CEECT) Electrical Engineering and Control Technologies (CEECT), 2023 5th International Conference on. :634-638 Dec, 2023

    Relation: 2023 5th International Conference on Electrical Engineering and Control Technologies (CEECT)

  5. 5
    مؤتمر

    المصدر: 2023 IEEE CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON) Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON), 2023 IEEE CHILEAN Conference on. :1-6 Dec, 2023

    Relation: 2023 IEEE CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON)

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

    المؤلفون: Li, WeiAff1, Aff2, Xun-Guo, ZhuAff1, Aff2, IDs10706023026806_cor2, Hong-Chun, XiaAff1, Aff2

    المصدر: Geotechnical and Geological Engineering: An International Journal. 42(4):2403-2423

  10. 10
    مؤتمر

    المصدر: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :130-140 May, 2023

    Relation: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)