J.-P. Elloy < J.-P. Finance < J.-P. Fricker

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][20-40]

Ident.	Authors (with country if any)	Title
00D741 (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. Gaudel	Opération S.A.L.S.A. : Structure d'AccueiL pour Spcécifications Algébriques
00DC85 (1992)	G.-R. Perrin ; J.-P. Finance	Communication Relations : A Paradigm for Parallel Program Design
00DD51 (1992)	F. Alexandre ; Khaled Bsaies ; J.-P. Finance ; A. Quéré	SPES : A System for Logic Program Transformation
00DF89 (1992)	G.-R. Perrin [France] ; J.-P. Finance [France]	Communication relations : a paradigm for parallel program design
00E037 (1991)	J.-P. Finance ; J. Souquières	A Development Process Meta-Model
00E460 (1990)	J.-P. Finance	Histoire de la recherche en informatique à Nancy
00E563 (1990)	J.-P. Jacquot ; J.-P. Finance	Organisation d'un système informatique à l'échelon d'une université. Eléments d'analyse
00E583 (1990)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
00E837 (1989)	J.-P. Jacquot ; J.-P. Finance	Organisation d'un système informatique à l'échelon d'une université. Eléments d'analyse
00E851 (1989)	N. Lazrak ; G.-R. Perrin ; J.-P. Finance	Verification of Elementary Properties in Abstract Data Types
00E988 (1988)	O. Thiéry ; J.-P. Finance	Modéliser un Système d'Information à l'aide des types abstraits - L'exploiter sous forme relationnelle
00EA55 (1988)	B. El Ayeb ; J.-P. Finance	On Cooperation between Deep and Shallow Reasoning S.I.D.I. : An Expert System for Troubleshooting Diagnosis in large Industrial Plants
00EB25 (1988)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
00EB30 (1988)	B. El Ayeb ; J.-P. Finance	Conventional Database and Inference Process
00EB31 (1988)	F. Alexandre ; J.-P. Finance ; A. Quéré	SPES : A System for Transforming Logic Programs
00EB33 (1988)	A. Koukam ; J.-P. Finance ; J. Julliand ; G.-R. Perrin	Spécification et réalisation des types de communication
00ED67 (1987)	G.-R. Perrin ; J.-P. Finance	Paradigms for parallel program design
00EE17 (1987)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire ; A. Hadjadji ; A. Piganiol	SACSO : système d'aide à la construction et à la validation de spécifications
00EF62 (1986)	J.-P. Finance ; J. Souquières	Quels outils pour quelles méthodes ?
00EF97 (1986)	E. Dubois ; J.-P. Finance ; N. Lévy ; J. Souquières	SACSO : Un système d'aide à la construction de spécifications opérationnelles pour les systèmes d'informations
00EF98 (1986)	G.-R. Perrin ; J.-P. Finance	Parallel program design by reasoning on communication specification

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "J.-P. Finance" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "J.-P. Finance" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

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

---

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