Les prototypes de l'atelier national logiciel
- FR UMR7117 CP-B-4-CP223
- Pièce
- 1981-01
Fait partie de Fonds Claude Pair
Temps réel N°4, janvier 1981, Les prototypes de l'atelier national logiciel
Claude Pair
Affichage de 275 résultats
Description archivistiqueCorrespondance entre P. Imbs et C. Pair
- FR UMR7117 CP-A-CP043
- Pièce
- 1980-07-07
Fait partie de Fonds Claude Pair
Sur une entête : "Alliance française, Comité de Nancy"
Correspondance de P. Imbs à C. Pair dans laquelle il lui annonce qu'il a été nommé vice-président du Comité nancéien de l'Alliance française. Présence d'annotations manuscrites à l'encre rouge.
Claude Pair
Sur les modèles des types abstraits algébriques
- FR UMR7117 CP-B-2-a-CP211
- Pièce
- 1980-05-13
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy, Sur les modèles des types abstraits algébriques, C. Pair,
80 P 052
Claude Pair
La production assistée du logiciel introduction et perspectives
- FR UMR7117 CP-B-2-a-CP219
- Pièce
- 1980-02
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy, La production assistée du logiciel introduction et perspectives,
80P07,
Claude Pair
Correspondance entre J. Vuillemin et C. Pair
- FR UMR7117 CP-A-CP044
- Pièce
- 1980-01-29 - 1980-03-24
Fait partie de Fonds Claude Pair
Sur une entête : "Université de Paris-Sud, Centre d'Orsay"
Porte la référence : "N/Réf JV/VT n° 80-51"
Correspondance de J. Vuillemin à C. Pair dans laquelle il lui fait un retour sur son livre : Théorie de la programmation.
Sur la seconde feuille, le retour en anglais à propos de l'ouvrage de C. Pair
Claude Pair
Actes des journées francophones sur la production assistée de logiciel
- FR UMR7117 CP-B-2-b-CP238
- Pièce
- 1980-01-10 - 1980-01-11
Fait partie de Fonds Claude Pair
Actes des journées francophones sur la production assistée de logiciel,
Genève 10 & 11 janvier 1980
organisées par les universités de Geneve et Grenoble sous l'égide de : SCAM, ASSPA, CNRS, AFCET, IRIA
Claude Pair
Types abstraits et semantique algebrique des langages de programmation
- FR UMR7117 CP-B-2-a-CP212
- Pièce
- 1980
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy, Types abstraits et sémantique algébrique des langages de programmation, C. Pair,
80-R-011
Claude Pair
Correspondance entre B. Wegnel et C. Pair
- FR UMR7117 CP-A-CP042
- Pièce
- 1979-12-10
Fait partie de Fonds Claude Pair
Sur une entête : "Zentralblatt für Mathematik, Herausgeber : Heidelberger akademie der Wissenschaften"
Correspondance de B. Wegnel à C. Pair dans laquelle il évoque l'écriture d'un document devant comporter un sommaire et une courte revue.
Sur la seconde feuille, un brouillon de ce document au format manuscrit.
Claude Pair
Quelques reflexions prospectives sur la construction du logiciel
- FR UMR7117 CP-B-2-c-CP215
- Pièce
- 1979-11-13
Fait partie de Fonds Claude Pair
Quelques réflexions prospectives sur la construction du logiciel, C. Pair,
13 Novembre 1979
- Prise de notes
Claude Pair
Correctness proofs of syntax directed processing, Description by attributes
- FR UMR7117 CP-B-2-a-CP221
- Pièce
- 1979-08-01
Fait partie de Fonds Claude Pair
reprinted forum Journal of Computer and System Sciences
Vol. 19, No. 1, August 1979
Correctness proofs of syntax directed processing, Description by attributes
Claude Pair
Résultats 71 à 80 sur 275