Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Igried, Bashar"'
Autor:
Igried, Bashar, Setzer, Anton
Publikováno v:
EPTCS 258, 2017, pp. 36-51
CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which sup- ports a modular development of processes. In this paper, w
Externí odkaz:
http://arxiv.org/abs/1709.04714
Autor:
El-Salhi, Subhieh, Albqowr, Hala Mahmoud Saleh, Igried, Bashar, Awwad, Sari, Dittakan, Kwankamon
Publikováno v:
Asian Journal of Civil Engineering; September 2024, Vol. 25 Issue: 6 p4877-4891, 15p
Publikováno v:
Wireless Networks (10220038); Aug2024, Vol. 30 Issue 6, p5771-5786, 16p
Autor:
Igried, Bashar1 (AUTHOR), Al-Serhan, Atalla Fahed2 (AUTHOR), Alsarhan, Ayoub3 (AUTHOR), Aljaidi, Mohammad4 (AUTHOR) mjaidi@zu.edu.jo, Aldweesh, Amjad5 (AUTHOR) mjaidi@zu.edu.jo
Publikováno v:
Future Internet. Jan2023, Vol. 15 Issue 1, p1. 11p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mughaid, Ala, AlZu'bi, Shadi, Alnajjar, Asma, AbuElsoud, Esraa, Salhi, Subhieh El, Igried, Bashar, Abualigah, Laith
Publikováno v:
Multimedia Tools & Applications; Apr2023, Vol. 82 Issue 9, p13973-13995, 23p
Autor:
Alkhalidy, Muhsen1 (AUTHOR) muhsen@hu.edu.jo, Al-Serhan, Atalla Fahed2 (AUTHOR) ar_alserhan@aabu.edu.jo, Alsarhan, Ayoub3 (AUTHOR) ayoubm@hu.edu.jo, Igried, Bashar1 (AUTHOR) bashar.igried@hu.edu.jo
Publikováno v:
Future Internet. Aug2022, Vol. 14 Issue 8, p223-N.PAG. 11p.