Search

Filters

Use filters to refine the search results.

Now showing items 31-40 of 183

Vers une transformation d'une spécification maude en programme acteur

Bettaz Mohamed; Gherbi Abdelouahed (2017-01-01)
Analyse et interprétation des images cytologiques couleurs

Sahnoun Zaidi; Ouadfel Salima (2017-01-01)
Emulation d'une machine pédagogique

Gilles Denis C.; Boulcane née Lahmar Fatima (2017-01-01)
Distribution file systemsa comparative study

Chihoub Mohammed; Gilles Denis C. (2017-01-01)
Vers une intégration du formalisme ecatnet dans le langage de spécification orient-objet maude

Maouche M.; Redjechta née Bouchoul Faiza (2017-01-01)
Contribution à la modélisation des connaissances méthodologiquesune approche centrée - tÐche application au choix de modèle économétrique

Bouzidi Zair; Hocine A. (2017-01-01)
système d'analyse et de raisonnement spatial urbain S.A.R.S.0.U.

Belhadj-Mostefa Khaled; Boudjaada-Hammoud Djamila (2017-01-01)
De l'Unification de modèles de la concurrence à travers la logique de réécritureétat de l'art et synthèse

Rami Soumia; Bettaz Mohamed (2017-01-01)
Sur les explications dans les systèmes à base de connaissance le système cocontex

Laraba Mohamed El Habib; Sahnoun Zaidi (2017-01-01)
Momery interference and bus contention in all multiprocessor system

Benlamri Rachid; Chikhi Salim (2017-01-01)

Now showing items 31-40 of 183