مخبر الإعلام الألي و الرياضيات

جــــامـعــة محــمــد الشــريف مسـاعــــدية - ســـوق أهــراس
www.univ-soukahras.dz/ar/lab/lim
 
  • الرئيسية
  • مواضيع البحث
  • الأعضاء
  • المنشورات
  • مشاريع البحث
  • عن المخبر
  • Login
  • جامعـــة ســوق أهراس
 

مقداد عروس

أستاذ محاضر ب
قسم الرياضيات و الإعلام الإلي
كلية العلوم و التكنولوجيا
جامعـــة ســوق أهراس
سوق أهراس , 41000. الجزائر
: m.arous@univ-soukahras.dz
: www.univ-soukahras.dz/ar/profile/amokdad

المقاييس المدرسة

المقياس المستوى التخصص

Programmation par contraintes

ماستر - S3 ويب و الذكاء الإصطناعي

Théorie des langages

ليســـانـس - S4 جذع مشترك اعلام آلي سنة 2

Projet Fin d’études

ماستر - S4 هندسة برمجية

المنشورات العلمية ( 4 )

Journals

[1] Mokdad Arous and Djamel-Eddine Saïdouni (2013) Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification. Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence , (Volume 488), 367–377, Springer International Publishing Switzerland

Conferences

[1] Mokdad Arous, Jean-Michel Ilié and Djamel-Eddine Saidouni (2012) Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems. 2nd International Conference on Computer and Software Modeling - ICCSM 2012 , Cochin, India
[2] Mokdad Arous, Djamel-Eddine Saidouni and Jean-Michel Ilié (2011) Maximality Semantics based Stochastic Process Algebra for Performance Evaluation. 1st IEEE International Conference on Communications, Computing and Control Applications (CCCA’11) March 3-5, 2011 , Hammamet, Tunisia.

Other Publications

[1] Mokdad AROUS (2016) Cours de Programmation Logique. Université de Souk Ahras ,

روابط و معلومات

  • » قسم الرياضيات و الإعلام الإلي
 
 

للإتصال بنا

  • جامعـــة ســوق أهراس
    سوق أهراس , 41000 - الجزائر
  • +213.(0)37.75.30.15
  • +213.(0)37.75.30.06
  • info@univ-soukahras.dz
 
 

الإدارة

  • عمادة البحث العلمي
  • عمادة البيداغوجيا
  • عمادة العلاقات الخارجية و التعاون
  • عمادة التخطيط و الإستشراف
  • الأمانة العامة
 
 

خدمات

  • التعليم عن بعد
  • المنشورات
  • المخابر
  • البريد
  • روابط مهمة
 
 

Restez connecté :

 
 
 
 Copyright 2023 © Tous droits réservés