Contrôle de propriétés ergonomiques d'une interface homme - machine dans un longage d'expression de tâches. / Djamila Mansour (2002)

Public ISBD Titre : Contrôle de propriétés ergonomiques d'une interface homme - machine dans un longage d'expression de tâches. Type de document : theses et memoires Auteurs : Djamila Mansour ; Ait Ameur, Directeur de thèse Editeur : Tizi Ouzou : UMMTO.FGEI Année de publication : 2002 Importance : 101 p. Présentation : ill. Format : 30 cm. Note générale : bibliogr. Langues : Français Mots-clés : IHM  Méthodes d'évaluation des IHM  Contexte abstrait. Permalink : ./index.php?lvl=notice_display&id=32126 Contrôle de propriétés ergonomiques d'une interface homme - machine dans un longage d'expression de tâches. [theses et memoires] / Djamila Mansour ; Ait Ameur, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2002 . - 101 p. : ill. ; 30 cm. bibliogr. Langues : Français Mots-clés : IHM  Méthodes d'évaluation des IHM  Contexte abstrait. Permalink : ./index.php?lvl=notice_display&id=32126

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAG.INF.07-02/1	MAG.INF.07-02	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible
MAG.INF.07-02/2	MAG.INF.07-02	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur / Abdelkrim Chebieb (2004)

Public ISBD Titre : Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur Type de document : theses et memoires Auteurs : Abdelkrim Chebieb ; Ait Ameur, Directeur de thèse Editeur : Tizi Ouzou : UMMTO.FGEI Année de publication : 2004 Importance : 138 p. Présentation : ill. Format : 30 cm. Note générale : bibliogr. Langues : Français Mots-clés : IHM  Interfaces  Model Checking  Validation des modéles. Permalink : ./index.php?lvl=notice_display&id=32131 Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur [theses et memoires] / Abdelkrim Chebieb ; Ait Ameur, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2004 . - 138 p. : ill. ; 30 cm. bibliogr. Langues : Français Mots-clés : IHM  Interfaces  Model Checking  Validation des modéles. Permalink : ./index.php?lvl=notice_display&id=32131

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAG.INF.12-04/1	MAG.INF.12-04	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible
MAG.INF.12-04/2	MAG.INF.12-04	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Interprétation abstraite de programmes numériques pour contrôle des popriétés de précision numérique / Mohand Ait Mohammed (2003)

Public ISBD Titre : Interprétation abstraite de programmes numériques pour contrôle des popriétés de précision numérique Type de document : theses et memoires Auteurs : Mohand Ait Mohammed ; Ait Ameur, Directeur de thèse Editeur : Tizi Ouzou : UMMTO.FGEI Année de publication : 2003 Importance : 77 p. Présentation : ill. Format : 30 cm. Note générale : bibliogr. Langues : Français Mots-clés : Interpretation abstraite  Théorie Kleene  Transformation de programme. Permalink : ./index.php?lvl=notice_display&id=32129 Interprétation abstraite de programmes numériques pour contrôle des popriétés de précision numérique [theses et memoires] / Mohand Ait Mohammed ; Ait Ameur, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2003 . - 77 p. : ill. ; 30 cm. bibliogr. Langues : Français Mots-clés : Interpretation abstraite  Théorie Kleene  Transformation de programme. Permalink : ./index.php?lvl=notice_display&id=32129

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAG.INF.10-03/1	MAG.INF.10-03	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible
MAG.INF.10-03/2	MAG.INF.10-03	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1