Résultat de la recherche
4 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 : Pour une meilleure performance des algorithmes de complétion et de réécriture Auteurs : Abbes Mehemmel ; Univ. de Constantine, Éditeur 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 Catégories : Français - Anglais
InformatiqueTags : 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 : index.php?lvl=notice_display&id=139 Pour une meilleure performance des algorithmes de complétion et de réécriture [] / Abbes Mehemmel ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1992 . - 97 f. ; 31 cm.
02 Disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : 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 : index.php?lvl=notice_display&id=139 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MEH/2250 MEH/2250 Thèse Bibliothèque principale Thèses Disponible
Titre : De l'Unification des modèles de la concurrence à travers la logique de réécriture : application aux structures d'évenements Auteurs : Chafia Bouanaka ; Univ. de Constantine, Éditeur 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 Catégories : Français - Anglais
InformatiqueTags : Réécriture Unification Index. décimale : 004 Traitement de données. Informatique Permalink : 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 ; Univ. de Constantine, Éditeur 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
Catégories : Français - Anglais
InformatiqueTags : Réécriture Unification Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=97 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/3203 BOU/3203 Thèse Bibliothèque principale Thèses Disponible
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 ; Univ. de Constantine, Éditeur 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 rechercheCatégories : Français - Anglais
InformatiqueTags : Concurrence Logique Réécriture Index. décimale : 004 Traitement de données. Informatique Permalink : 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 ; Univ. de Constantine, Éditeur scientifique . - 1998 . - 101 f.
02 Disponibles au magasin de la bibliothèque centrale
01 Disponible à la salle de recherche
Catégories : Français - Anglais
InformatiqueTags : Concurrence Logique Réécriture Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=106 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité RAM/3204 RAM/3204 Thèse Bibliothèque principale Thèses Disponible
Titre : L'usage du brouillon dans l'acquisition du savoir écrire Type de document : texte imprimé Auteurs : Naima Dembri ; Univ. de Constantine, Éditeur 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) Catégories : Français - Anglais
Langue FrançaiseTags : 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 : index.php?lvl=notice_display&id=4862 L'usage du brouillon dans l'acquisition du savoir écrire [texte imprimé] / Naima Dembri ; Univ. de Constantine, Éditeur 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)
Catégories : Français - Anglais
Langue FrançaiseTags : 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 : index.php?lvl=notice_display&id=4862 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DEM/1053 DEM/1053 Thèse Bibliothèque principale Thèses Disponible
