Archives Henri-Poincaré

Affichage de 257 résultats

Description archivistique

Options de recherche avancée

Trouver les résultats avec :

dans

Limiter les résultats à :

Dépôt

Description de haut niveau

Filtrer les résultats par :

Niveau de description

Document numérique disponible

Instrument de recherche

Dénomination générale des documents

Descriptions de haut niveau Toutes les descriptions

Filtrer par dates :

Début

Fin

Chevauchement Exact

Utiliser cette option pour préciser le mode de recherche par dates. "Exact" fait en sorte que les dates extrêmes des résultats de recherche se situeront entièrement entre les dates entrées. "Chevauchement" fait en sorte que toutes les descriptions dont la date de début ou de fin se situent au sein des dates entrées feront partie des résultats de recherche.

Aperçu avant impression Hierarchy Affichage :

Trier par:

Direction:

A systematic study of models of abstract data types

FR UMR7117 CP-B-2-a-CP227
Pièce

Fait partie de Fonds Claude Pair

Centre de recherche en informatique de Nancy, A systematic study of models of abstract data types,
M. BROY, C. PAIR, M.WIRSING,
81-R-042

Claude Pair

Application of abstract data types to the definition of the semantics of programming languages

FR UMR7117 CP-B-2-b-CP226
Pièce
1981-04

Fait partie de Fonds Claude Pair

Centre de recherche en informatique de Nancy, Application of abstract data types to the definition of the semantics of programming languages, C. Pair,
81-P-025

Claude Pair

Abstract data types and algebraic semantics of programming languages

FR UMR7117 CP-B-2-a-CP225
Pièce
1982

Fait partie de Fonds Claude Pair

Theoretical Computer Science 18 (1982) 1-31
Abstract data types and algebraic semantics of programming languages, C. Pair

Claude Pair

International Colloquium on formalization of programming concepts

FR UMR7117 CP-B-2-b-CP224
Pièce
1981-04-20 - 1981-04-26

Fait partie de Fonds Claude Pair

International Colloquium on formalization of programming concepts,
April 20-26, 1981,
Peniscola, Spain

Claude Pair

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

Publications de C. pairs

FR UMR7117 CP-B-4-CP222
Pièce
1979

Fait partie de Fonds Claude Pair

Publications de C. pair

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

Specifications et langages de specifications (*)