ISSN
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « ISSN » - entrée « 0752-4072 »
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.
0747-7171 < 0752-4072 < 0755-9208  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 59.
[40-60] [0 - 20][0 - 50]
Ident.Authors (with country if any)Title
000A48 (1999) O. Kone [France] ; R. Castanet [France]Méthodes formelles de test de conformité des protocoles
000A53 (1999) M. Heisel [Allemagne] ; J. Souquieres [France]De l'élicitation des besoins à la spécification formelle
000A57 (1999) J.-F. Collard [France]Analyse des définitions visibles : état de l'art et applications en parallélisation automatique
000B13 (1998) M. Smaïl [France]Vers des systèmes évolutifs de recherche d'information : un état de l'art
000B17 (1998) B. Mermet [France] ; D. Mery [France] ; D. Samborski [France]Spécifications de services : une approche avec B
000B26 (1998) T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France]Assistance au développement de spécifications de protocoles de communication
000C52 (1996) Systèmes à objets : tendances actuelles et évolution
000C54 (1996) J. Jaray [France] ; A. Mahjoub [Tunisie]Une méthode itérative de construction d'un modèle de système réactif
000C59 (1996) J.-P. Briot [France, Japon] ; R. Guerraoui [Suisse]Objets pour la programmation parallèle et répartie : intérêts, évolutions et tendances
000C60 (1996) P.-Y. Chevalier [France] ; D. Hagimont [France] ; J. Mossiere [France] ; X. Rousset De Pina [France]Le système réparti à objets Guide
000C61 (1996) G. Castagna [France]Le modèle fondé sur la surcharge : une visite guidée
000C62 (1996) J. Bouaud [France] ; R. Voyer [France]Langages à objets et langages de règles : étude critique et propositions d'intégration
000C64 (1996) R. Chignoli [France] ; J. Farre [France] ; P. Lahire [France] ; R. Rousseau [France]FLOO : un environnement pour la programmation persistante en Eiffel
000C67 (1996) G. Perrier [France]CPL : un modèle logique du calcul parallèle
000C69 (1996) J. Malenfant [Canada]Abstraction et encapsulation en programmation par prototypes
000D17 (1995) R. Ducournau [France] ; M. Habib [France] ; M. Huchard [France] ; M.-L. Mugnier [France] ; A. Napoli [France]Le point sur l'héritage multiple
000D18 (1995) J. Souquieres [France] ; R. DarimontLa description du développement de spécifications
000D60 (1991) C. Fay-Varnier [France] ; C. Fouquere [France] ; G. Prigent [France] ; P. Zweigenbaum [France]Modules syntaxiques des systèmes d'analyse du français
000D84 (1986) D. Coulon ; D. KayserInformatique et langage naturel: présentation générale des méthodes d'interprétation des textes écrits

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/ISSN.i -k "0752-4072" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i  \
                -Sk "0752-4072" \
         | 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=    ISSN.i
   |clé=    0752-4072
}}
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