FA12s1.i
Corpus
PascalFrancis
Racine
Corpus
Checkpoint
PascalFrancis
Racine
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FA12s1.i » - entrée « RUSINOWITCH (Michael) »
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.
RUS (T.) < RUSINOWITCH (Michael) < RUSINOWITCH (Michaël)  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000634 (2004) Sécurité informatique
000635 (2004) Marc Eluard ; Thomas JensenValidation du contrôle d'accès dans des cartes à puce multiapplications
000636 (2004) Anas Abou El Kalam ; Yves DeswarteModèle de sécurité pour le secteur de la santé
000637 (2004) Hervé Debar ; Benjamin Morin ; Frédéric Cuppens ; Fabien Autrel ; Ludovic Me ; Bernard Vivinis ; Salem Benferhat ; Mireille Ducasse ; Rodolphe OrtaloDétection d'intrusions : corrélation d'alertes
000638 (2004) Jean-Marc Percher ; Ricardo Puttini ; Ludovic Me ; Olivier Camp ; Bernard Jouga ; Patrick AltiersUn système de détection d'intrusions distribué pour réseaux ad hoc
000649 (2004) Dominique Larchey-WendlingCounter-model search in Gödel-Dummett logics
000828 (2002) Philippe De GrooteOn the strong normalisation of intuitionistic natural deduction with permutation-conversions
000B16 (1999) G. Dowek ; T. Hardin ; C. KirchnerHol-λσ : An intentional first-order expression of higher-order logic
000B17 (1999) P. De GrooteOn the strong normalisation of natural deduction with permutation-conversions

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/FA12s1.i -k "RUSINOWITCH (Michael)" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/FA12s1.i  \
                -Sk "RUSINOWITCH (Michael)" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    indexItem
   |index=    FA12s1.i
   |clé=    RUSINOWITCH (Michael)
}}
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