Résultat de la recherche
4 résultat(s) recherche sur le tag 'Réécriture' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Titre : De l'Unification des modèles de la concurrence à travers la logique de réécriture : application aux structures d'évenements Auteurs : Chafia Bouanaka ; Universite de constantine, Editeur scientifique ; M. Maouche, Directeur de thèse Année de publication : 1998 Importance : 115 f. Note générale : 01 Disponible dans la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale Tags : Réécriture Unification Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=97 De l'Unification des modèles de la concurrence à travers la logique de réécriture : application aux structures d'évenements [] / Chafia Bouanaka ; Universite de constantine, Editeur scientifique ; M. Maouche, Directeur de thèse . - 1998 . - 115 f.
01 Disponible dans la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale
Tags : Réécriture Unification Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=97 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : De l'Unification de modèles de la concurrence à travers la logique de réécriture : état de l'art et synthèse Auteurs : Soumia Rami ; Mohamed Bettaz, Directeur de thèse ; Univesité de Constantine, Editeur scientifique Année de publication : 1998 Importance : 101 f. Note générale : 02 Disponibles au magasin de la bibliothèque centrale
01 Disponible à la salle de rechercheTags : Concurrence Logique Réécriture Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=106 De l'Unification de modèles de la concurrence à travers la logique de réécriture : état de l'art et synthèse [] / Soumia Rami ; Mohamed Bettaz, Directeur de thèse ; Univesité de Constantine, Editeur scientifique . - 1998 . - 101 f.
02 Disponibles au magasin de la bibliothèque centrale
01 Disponible à la salle de recherche
Tags : Concurrence Logique Réécriture Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=106 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Pour une meilleure performance des algorithmes de complétion et de réécriture Auteurs : Abbes Mehemmel ; Universite de constantine, Editeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1992 Importance : 97 f. Format : 31 cm Note générale : 02 Disponibles au magasin de la bibliothèque centrale Tags : Réécriture Terminaison Algorithme de simplification Preuve automatique Logique équationnelle Logiciel REVE Algorithme de complétion Algorithme de recherche Informatique Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=139 Pour une meilleure performance des algorithmes de complétion et de réécriture [] / Abbes Mehemmel ; Universite de constantine, Editeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1992 . - 97 f. ; 31 cm.
02 Disponibles au magasin de la bibliothèque centrale
Tags : Réécriture Terminaison Algorithme de simplification Preuve automatique Logique équationnelle Logiciel REVE Algorithme de complétion Algorithme de recherche Informatique Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=139 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : L'usage du brouillon dans l'acquisition du savoir écrire Type de document : texte imprimé Auteurs : Naima Dembri ; Université Mentouri, Editeur scientifique ; Abdeslam Zetili, Directeur de thèse Année de publication : 2009 Importance : 251 f. Format : 30 cm Note générale : Deux copies disponibles au magasin de la bibliothèque universitaire centrale+ 1 cd Langues : Français (fre) Tags : Lecture/Ecriture Enseignement/Apprentissage Production écrite Pratique scirpturale Brouillon Pratique de classe Scripteur Processus rédactionnel Réécriture Index. décimale : 440 Langues romanes. Français Diplôme : Magistère En ligne : ../theses/francais/DEM1053.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4862 L'usage du brouillon dans l'acquisition du savoir écrire [texte imprimé] / Naima Dembri ; Université Mentouri, Editeur scientifique ; Abdeslam Zetili, Directeur de thèse . - 2009 . - 251 f. ; 30 cm.
Deux copies disponibles au magasin de la bibliothèque universitaire centrale+ 1 cd
Langues : Français (fre)
Tags : Lecture/Ecriture Enseignement/Apprentissage Production écrite Pratique scirpturale Brouillon Pratique de classe Scripteur Processus rédactionnel Réécriture Index. décimale : 440 Langues romanes. Français Diplôme : Magistère En ligne : ../theses/francais/DEM1053.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4862 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
