Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « J.-P. Finance »
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.
J.-P. Elloy < J.-P. Finance < J.-P. Fricker  Facettes :

List of bibliographic references indexed by J.-P. Finance

Number of relevant bibliographic references: 36.
[0-20] [0 - 20][0 - 36][20-35][20-40]
Ident.Authors (with country if any)Title
00CE69 (1993) D. Bert ; M. Bidoit ; C. Choppy ; R. Echahed ; J.-M. Hufflen ; J.-P. Jacquot ; M. Lemoine ; N. Lévy ; J.-C. Reynaud ; C. Roques ; F. Voisin ; J.-P. Finance ; M.-C. GaudelOpération S.A.L.S.A. : Structure d'AccueiL pour Spcécifications Algébriques
00D408 (1992) G.-R. Perrin ; J.-P. FinanceCommunication Relations : A Paradigm for Parallel Program Design
00D474 (1992) F. Alexandre ; Khaled Bsaies ; J.-P. Finance ; A. QuéréSPES : A System for Logic Program Transformation
00D711 (1992) G.-R. Perrin [France] ; J.-P. Finance [France]Communication relations : a paradigm for parallel program design
00D759 (1991) J.-P. Finance ; J. SouquièresA Development Process Meta-Model
00DB80 (1990) J.-P. FinanceHistoire de la recherche en informatique à Nancy
00DC83 (1990) J.-P. Jacquot ; J.-P. FinanceOrganisation d'un système informatique à l'échelon d'une université. Eléments d'analyse
00DD03 (1990) J.-P. Finance ; N. Lévy ; J. Souquières ; A. ValdenaireSACSO : un environnement d'aide à la spécification
00DF54 (1989) J.-P. Jacquot ; J.-P. FinanceOrganisation d'un système informatique à l'échelon d'une université. Eléments d'analyse
00DF68 (1989) N. Lazrak ; G.-R. Perrin ; J.-P. FinanceVerification of Elementary Properties in Abstract Data Types
00E105 (1988) O. Thiéry ; J.-P. FinanceModéliser un Système d'Information à l'aide des types abstraits - L'exploiter sous forme relationnelle
00E172 (1988) B. El Ayeb ; J.-P. FinanceOn Cooperation between Deep and Shallow Reasoning S.I.D.I. : An Expert System for Troubleshooting Diagnosis in large Industrial Plants
00E242 (1988) J.-P. Finance ; N. Lévy ; J. Souquières ; A. ValdenaireSACSO : un environnement d'aide à la spécification
00E247 (1988) B. El Ayeb ; J.-P. FinanceConventional Database and Inference Process
00E248 (1988) F. Alexandre ; J.-P. Finance ; A. QuéréSPES : A System for Transforming Logic Programs
00E250 (1988) A. Koukam ; J.-P. Finance ; J. Julliand ; G.-R. PerrinSpécification et réalisation des types de communication
00E481 (1987) G.-R. Perrin ; J.-P. FinanceParadigms for parallel program design
00E531 (1987) J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire ; A. Hadjadji ; A. PiganiolSACSO : système d'aide à la construction et à la validation de spécifications
00E674 (1986) J.-P. Finance ; J. SouquièresQuels outils pour quelles méthodes ?
00E709 (1986) E. Dubois ; J.-P. Finance ; N. Lévy ; J. SouquièresSACSO : Un système d'aide à la construction de spécifications opérationnelles pour les systèmes d'informations
00E710 (1986) G.-R. Perrin ; J.-P. FinanceParallel program design by reasoning on communication specification

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "J.-P. Finance" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "J.-P. Finance" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    J.-P. Finance
}}

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