AffRegion.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « AffRegion.i » - entrée « Gouvernorat de Tunis »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Gouvernorat de La Manouba < Gouvernorat de Tunis < Grand Est  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
000026 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
000135 (2011) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000185 (2010) I. Ben Cheikh [Tunisie] ; A. Kacem [Tunisie] ; Abdel Belaïd [France]A Neural-Linguistic Approach for the Recognition of a Wide Arabic Word Lexicon
000578 (2004) Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie]Predicate synthesis from inductive proof attempt of faulty conjectures
000762 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems

List of associated Author.i

Nombre de
documents		Descripteur
1A. Kacem
1Abdel Belaïd
1Abdessamad Imine
1Francis Alexandre
1I. Ben Cheikh
1Kamel Barkaoui
1Khaled Bsaïes
1Mouhebeddine Berrima
1Moussa Demba
1Narjes Ben Rajeb
1Sorin Stratulat
1Véronique Cortier
1Yahya Slimani
1Zohra Sbaï

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffRegion.i -k "Gouvernorat de Tunis" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffRegion.i  \
                -Sk "Gouvernorat de Tunis" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Gouvernorat de Tunis
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022