الأوراق العلمية | السنة | إسم المؤتمر | الرابط الالكتروني |
Machine learning Scheme for Managing Virtual Computing Resources in Cloud Market | 2023 | 2022 International Arab Conference on Information Technology (ACIT) |
زيارة الرابط
|
Programming with monadic CSP-style processes in dependent type theory | 2016 | 1st International Workshop on Type-Driven Development |
زيارة الرابط
|