Résultat de la recherche
8 résultat(s) recherche sur le tag 'Réseaux de pétri' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesUne approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles / Mohamed Rédha Bahri
Titre : Une approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles Type de document : texte imprimé Auteurs : Mohamed Rédha Bahri ; Allaoua Chaoui, Directeur de thèse ; Université Mentouri, Editeur scientifique Année de publication : 2010 Importance : 126 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Agent mobile Réseaux de Petri UML UML-Mobile MDA Transformation de graphes Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BAH5701.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4600 Une approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles [texte imprimé] / Mohamed Rédha Bahri ; Allaoua Chaoui, Directeur de thèse ; Université Mentouri, Editeur scientifique . - 2010 . - 126 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Agent mobile Réseaux de Petri UML UML-Mobile MDA Transformation de graphes Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BAH5701.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4600 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BAH/5701 BAH/5701 Thèse Bibliothèque principale Thèses Disponible
Titre : Approche mixte de modélisation par les réseaux de Petri et SMA Type de document : texte imprimé Auteurs : Houda Haiouni ; Université Mentouri, Editeur scientifique ; Nadia Zaghib, Directeur de thèse Année de publication : 2010 Importance : 120 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Modélisation Systèmes multi-agents Réseaux de Petri Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/HAI5853.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4602 Approche mixte de modélisation par les réseaux de Petri et SMA [texte imprimé] / Houda Haiouni ; Université Mentouri, Editeur scientifique ; Nadia Zaghib, Directeur de thèse . - 2010 . - 120 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Modélisation Systèmes multi-agents Réseaux de Petri Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/HAI5853.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4602 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité HAI/5853 HAI/5853 Thèse Bibliothèque principale Thèses Disponible
Titre : Modélisation du processus logiciel à base d'agents par les réseaux de pétri Auteurs : Ramla Seghiri ; Université Mentouri, Editeur scientifique ; Z. Sahnoun, Directeur de thèse Année de publication : 2002 Importance : 104 f. Note générale : 1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centraleCatégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=179 Modélisation du processus logiciel à base d'agents par les réseaux de pétri [] / Ramla Seghiri ; Université Mentouri, Editeur scientifique ; Z. Sahnoun, Directeur de thèse . - 2002 . - 104 f.
1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=179 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité SEG/3663 SEG/3663 Thèse Bibliothèque principale Thèses Disponible Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 / Sabine Boufenara
Titre : Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 Auteurs : Sabine Boufenara ; Université Mentouri, Editeur scientifique ; Faiza Belala, Directeur de thèse Année de publication : 2010 Importance : 228 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Cadre sémantique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BOU5795.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=324 Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 [] / Sabine Boufenara ; Université Mentouri, Editeur scientifique ; Faiza Belala, Directeur de thèse . - 2010 . - 228 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Cadre sémantique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BOU5795.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=324 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5795 BOU/5795 Thèse Bibliothèque principale Thèses Disponible
Titre : Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri Auteurs : Fay?al Boudaoud ; Université Mentouri, Editeur scientifique ; Mohamed Benmohammed, Directeur de thèse Année de publication : 2002 Importance : 94 f. Note générale : 1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centraleCatégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=180 Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri [] / Fay?al Boudaoud ; Université Mentouri, Editeur scientifique ; Mohamed Benmohammed, Directeur de thèse . - 2002 . - 94 f.
1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=180 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/3648 BOU/3648 Thèse Bibliothèque principale Thèses Disponible PermalinkPermalinkPermalink
