Approche basée sur deux modèles de spécification algèbrique des systèmes concurrents / A?cha Alouk née Choutri

Public ISBD Titre : Approche basée sur deux modèles de spécification algèbrique des systèmes concurrents Auteurs : A?cha Alouk née Choutri ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1996 Importance : 86 f. Note générale : 03 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : système concurrent  Spécification algèbrique Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=87 Approche basée sur deux modèles de spécification algèbrique des systèmes concurrents [] / A?cha Alouk née Choutri ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1996 . - 86 f. 03 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : système concurrent  Spécification algèbrique Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=87

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ALO/3080	ALO/3080	Thèse	Bibliothèque principale	Thèses	Disponible

Approche basée sur deux modèles de spécification algébrique des systèmes concurrents / A?cha Alouk (Née Choutri)

Public ISBD Titre : Approche basée sur deux modèles de spécification algébrique des systèmes concurrents Type de document : texte imprimé Auteurs : A?cha Alouk (Née Choutri) ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1996 Importance : 86 f. Note générale : 1 Disponible dans la salle de recherche 2 Disponibles au magasin de la bibliothèque centrale Langues : Français (fre) Catégories : Français - Anglais Electronique Tags : Spécification algèbrique Index. décimale : 621 Electronique Permalink : index.php?lvl=notice_display&id=2662 Approche basée sur deux modèles de spécification algébrique des systèmes concurrents [texte imprimé] / A?cha Alouk (Née Choutri) ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1996 . - 86 f. 1 Disponible dans la salle de recherche 2 Disponibles au magasin de la bibliothèque centrale Langues : Français (fre) Catégories : Français - Anglais Electronique Tags : Spécification algèbrique Index. décimale : 621 Electronique Permalink : index.php?lvl=notice_display&id=2662

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Approche objet et structures de données complexes / Nacerddine Zarour

Public ISBD Titre : Approche objet et structures de données complexes Auteurs : Nacerddine Zarour ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1995 Importance : 145 f. Note générale : 03 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Approche objet  Structure de donnée Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=155 Approche objet et structures de données complexes [] / Nacerddine Zarour ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1995 . - 145 f. 03 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Approche objet  Structure de donnée Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=155

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ZAR/2974	ZAR/2974	Thèse	Bibliothèque principale	Thèses	Disponible

Un cadre formel basé logique de tuiles pour les ADL / Aicha Choutri  

Public ISBD Titre : Un cadre formel basé logique de tuiles pour les ADL Type de document : texte imprimé Auteurs : Aicha Choutri, Auteur ; Faiza Belala, Directeur de thèse ; Mohamed Bettaz, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 140 f. Format : 31 cm. Note générale : Doctorat en sciences 2 copies imprimées disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : ADL  TL-SADeM  Un cadre formel basé logique de tuiles  informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/CHO6098.pdf Format de la ressource électronique : pdf Permalink : index.php?lvl=notice_display&id=5994 Un cadre formel basé logique de tuiles pour les ADL [texte imprimé] / Aicha Choutri, Auteur ; Faiza Belala, Directeur de thèse ; Mohamed Bettaz, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 140 f. ; 31 cm. Doctorat en sciences 2 copies imprimées disponibles Langues : Français (fre) Catégories : Français - Anglais Informatique Tags : ADL  TL-SADeM  Un cadre formel basé logique de tuiles  informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/CHO6098.pdf Format de la ressource électronique : pdf Permalink : index.php?lvl=notice_display&id=5994

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CHO/6098	CHO/6098	Thèse	Bibliothèque principale	Thèses	Disponible

Conception et implémentation d'un sous-système de communication dans une topologie hypercubique / Zine-El-Abiddine Benoudina

Public ISBD Titre : Conception et implémentation d'un sous-système de communication dans une topologie hypercubique Auteurs : Zine-El-Abiddine Benoudina ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1993 Importance : 88 f. Note générale : 02 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Implémentation  Sous-système de communication  Topologie hypercubique Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=89 Conception et implémentation d'un sous-système de communication dans une topologie hypercubique [] / Zine-El-Abiddine Benoudina ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1993 . - 88 f. 02 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Implémentation  Sous-système de communication  Topologie hypercubique Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=89

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BEN/2497	BEN/2497	Thèse	Bibliothèque principale	Thèses	Disponible

Conception et réalisation d'un logiciel de communication pour un système multiprocesseur faiblement couplé à usage général / Salah Merniz

Permalink

Design and implementation of an editor-simulator for algebraic term nets / Omar Bounouioua

Permalink

Etude et comparaisan de deux techniques de description formelle / Abdelhafid Zitouni

Permalink

Etude et optimisation de l'opération de filtrage (pattern-matching) / Mohamed-Redha Bahri

Permalink

Méthodes de compression de textes / Samia Chikhi

Permalink

Pour une meilleure performance des algorithmes de complétion et de réécriture / Abbes Mehemmel

Permalink

Spécification algébrique d'un éditeur de texte / F. Belala

Permalink

Techniques d'implémention des protocoles de communication / Lakhdar Derdouri

Permalink

De l'Unification de modèles de la concurrence à travers la logique de réécriture / Soumia Rami

Permalink

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

Permalink

---

1 (1 - 15 / 15)