يعرض 1 - 20 نتائج من 566 نتيجة بحث عن '"Bhayat, A"', وقت الاستعلام: 0.53s تنقيح النتائج
  1. 1
    Report
  2. 2
    Report
  3. 3
    Report

    المصدر: International Conference on Automated Deduction (CADE) 2023. LNAI volume 14132, 2023, pp. 23-40

  4. 4
    Academic Journal
  5. 5
    Academic Journal
  6. 6
    Report
  7. 7
    Report
  8. 8
    Academic Journal
  9. 9
    Academic Journal
  10. 10
    Dissertation/ Thesis
  11. 11
    Dissertation/ Thesis
  12. 12
    Academic Journal
  13. 13
    Academic Journal
  14. 14
    Academic Journal
  15. 15
    Academic Journal

    المصدر: Alshmrany , K M , Aldughaim , M , Bhayat , A & Cordeiro , L C 2024 , ' FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis ' , Formal Aspects of Computing , vol. 36 , no. 2 , 12 , pp. 1 - 25 . https://doi.org/10.1145/3665337

  16. 16
    Academic Journal

    المؤلفون: Baeten, Jared M, Palanee-Phillips, Thesla, Mgodi, Nyaradzo M, Mayo, Ashley J, Szydlo, Daniel W, Ramjee, Gita, Mirembe, Brenda Gati, Mhlanga, Felix, Hunidzarira, Portia, Mansoor, Leila E, Siva, Samantha, Govender, Vaneshree, Makanani, Bonus, Naidoo, Logashvari, Singh, Nishanta, Nair, Gonasagrie, Chinula, Lameck, Parikh, Urvi M, Mellors, John W, Balán, Iván C, Ngure, Kenneth, van der Straten, Ariane, Scheckter, Rachel, Garcia, Morgan, Peda, Melissa, Patterson, Karen, Livant, Edward, Bunge, Katherine, Singh, Devika, Jacobson, Cindy, Jiao, Yuqing, Hendrix, Craig W, Chirenje, Zvavahera M, Nakabiito, Clemensia, Taha, Taha E, Jones, Judith, Torjesen, Kristine, Nel, Annalene, Rosenberg, Zeda, Soto-Torres, Lydia E, Hillier, Sharon L, Brown, Elizabeth R, Aanyu, Dorothy, Abima, John, Abullarade, Janne, Agarwal, Priyanka, Ahluwalia, Surabhi, Akasiima, Simon Africa, Akello, Carolyne Agwau, Albert, Samuel, Alphale, Motsamai, Alphonse, Calins, Apeduno, Lucy, Aranda, Sara, Aridor, Orly, Arnolds, Shakeera, Asiimwe, Prossy, Atujuna, Millicent, Atwebembere, Didas, Baboolall, Lakshmi, Badana, Kiran, Balamusani, David, Banda, Gabriel, Banda, Towera Whitney, Baugh, Jennifer, Baziira, James Amos, Beamer, May, Bebeza, Sivuyisiwe Asanda, Bekker, Linda-Gail, Bell, Ian, Bemer, Meagan, Berman, Richard, Berthiaume, Jennifer, Bezak, Linda, Bhagwandin, Yashveer, Bhayat, Hassen Anwar, Bhengu, Nokulunga, Bhengu, Sonto, Bhoola, Aruna, Biira, Florence Asiimwe, Bittoni, Daniel, Black, Roberta, Blose, Nombuso Jacqueline, Boks, Pearl, Bolton, Stephen Gordon, Botya, Phathiswa, Brown, Amanda, Brown, Elizabeth, Brown, Helen, Bruce, Robyn Helen, Bukenya, Luke Erismus, Bukirwa, Aidah, Bunts, Lisa, Buthelezi, Fezile, Buthelezi, Mbongeleni William, Buthelezi, Samkelisiwe Dumisile, Byogero, Rose

    المصدر: The Lancet HIV. 8(2)

    وصف الملف: application/pdf

  17. 17
    Academic Journal

    المصدر: Revue d'histoire du protestantisme, 2022 Apr 01. 7(2), 149-192.

  18. 18
    Academic Journal
  19. 19
    Academic Journal
  20. 20
    Book

    المصدر: Bhayat , A , Korovin , K , Kovacs , L & Schoisswohl , J 2023 , Refining Unification with Abstraction . in Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning . Easy Chair , pp. 36-23 . https://doi.org/10.29007/h65j