Item report

Archival description hierarchy

# Reference code Title Dates Access restrictions Retrieval information
1 FR UMR7117 CP-CP246 4ème congrès de calcul et de traitement de l'information 1965 None
2 FR UMR7117 CP-CP072 1024 numéro 3 2014-05 None
3 FR UMR7117 CP-CP223/CP227-CP225 Abstract data types and algebraic semantics of programming languages 1982 None
4 FR UMR7117 CP-CP238 Actes des journées francophones sur la production assistée de logiciel 1980-01-10 - 1980-01-11 None
5 FR UMR7117 CP-CP162/CP177-CP163 Algol Bulletin No. 31 1970-03 None
6 FR UMR7117 CP-CP187/CP197-CP194 Algorithms for checking consistency of attribute grammars None
7 FR UMR7117 CP-CP137/CP150-CP150 Analyse numérique, justification théorique de l'utilisation des piles en compilation 1963-11-25 None
8 FR UMR7117 CP-CP137/CP150-CP146 Analyse syntaxique des langages de Chomsky 1966 None
9 FR UMR7117 CP-CP077 Ancienne liste de références bibliographiques None
10 FR UMR7117 CP-CP088/CP136-CP116 Annexe 1 1986-12-12 None
11 FR UMR7117 CP-CP088/CP136-CP117 Annexe 2 1986-04 None
12 FR UMR7117 CP-CP088/CP136-CP118 Annexe 3 1986 None
13 FR UMR7117 CP-CP088/CP136-CP119 Annexe 4 1986 None
14 FR UMR7117 CP-CP088/CP136-CP120 Annexe 5 1986 - 1987 None
15 FR UMR7117 CP-CP088/CP136-CP121 Annexe 6 1986-05 None
16 FR UMR7117 CP-CP088/CP136-CP122 Annexe 7 1986-05 None
17 FR UMR7117 CP-CP088/CP136-CP123 Annexe 8 1986 None
18 FR UMR7117 CP-CP088/CP136-CP124 Annexe 9 1986-09 None
19 FR UMR7117 CP-CP088/CP136-CP125 Annexe 10 1987 None
20 FR UMR7117 CP-CP088/CP136-CP126 Annexe 11 1987-07 None
21 FR UMR7117 CP-CP088/CP136-CP127 Annexe 12 None
22 FR UMR7117 CP-CP088/CP136-CP128 Annexe 13 None
23 FR UMR7117 CP-CP088/CP136-CP129 Annexe 14 1986 None
24 FR UMR7117 CP-CP088/CP136-CP130 Annexe 15 1987-05 None
25 FR UMR7117 CP-CP088/CP136-CP131 Annexe 16 None
26 FR UMR7117 CP-CP088/CP136-CP132 Annexe 17 None
27 FR UMR7117 CP-CP088/CP136-CP133 Annexe 18 1986 None
28 FR UMR7117 CP-CP088/CP136-CP134 Annexe 19 None
29 FR UMR7117 CP-CP088/CP136-CP135 Annexe 20 1988 None
30 FR UMR7117 CP-CP088/CP136-CP136 Annexe 21 1988-05 None
31 FR UMR7117 CP-CP162/CP177-CP173 Application de la théorie des ramifications au problème de équivalence structurale de deux G-Grammaires 1971 None
32 FR UMR7117 CP-CP223/CP227-CP226 Application of abstract data types to the definition of the semantics of programming languages 1981-04 None
33 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP108 Apport de l'informatique pour remedier a l'échec scolaire None
34 FR UMR7117 CP-CP088/CP136-CP113 Apport de l'informatique pour remedier aux difficultés scolaires 1988-06 None
35 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP107 Apport de l'informatique pour remedier aux difficultés scolaires 1988-06 None
36 FR UMR7117 CP-CP137/CP150-CP139 Arbres, piles et compilation 1964 None
37 FR UMR7117 CP-CP254 Article Metatheory par C. Pair et A. Quere 1969-09 None
38 FR UMR7117 CP-CP151/CP161-CP155 Article sur la ramification et les bilangages None
39 FR UMR7117 CP-CP223/CP227-CP227 A systematic study of models of abstract data types None
40 FR UMR7117 CP-CP079/CP086-CP080 A Tout CRIN des 20 ans 1993-09 None
41 FR UMR7117 CP-CP162/CP177-CP171 ATP Informatique 72 None
42 FR UMR7117 CP-CP088/CP136-CP115 Bilan provisoire de l'experience 1986 - 1988 None
43 FR UMR7117 CP-CP210/CP222-CP216 Biographie de Claude Pair None
44 FR UMR7117 CP-CP198/CP209-CP209 Brouillon de correspondance de C. Pair None
45 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP111 Brouillon de rédaction None
46 FR UMR7117 CP-CP187/CP197-CP187 Brouillon pour une conférence en anglais 1975-01 None
47 FR UMR7117 CP-CP178/CP186-CP186 Brouillons divers 1972 - 1974-09 None
48 FR UMR7117 CP-CP187/CP197-CP190 Calculs, ensembles de calculs, équivalence de programmes 1975 None
49 FR UMR7117 CP-CP178/CP186-CP185 Calculs, ensembles de calculs, équivalence de programmes (*) None
50 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP106 Can computer help combat school failure ? None
51 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP109 Can computer help combat school failure ? 1988 None
52 FR UMR7117 CP-CP001/CP059-CP039 Carte de la Nouvelle Année 1978-12 None
53 FR UMR7117 CP-CP137/CP150-CP138 Chapitre 2 : Etude des arbres 1963 - 1964 None
54 FR UMR7117 CP-CP151/CP161-CP161 Chapitre 2 : Ramifications None
55 FR UMR7117 CP-CP079/CP086-CP083 Cinquante ans d'informatique universitaire à Nancy, Parties 1 et 2 None
56 FR UMR7117 CP-CP252 Colloque francophone sur la didactique informatique 1988-09-01 - 1988-09-03 None
57 FR UMR7117 CP-CP068 Communications de la journée algol 68 1973-04-26 None
58 FR UMR7117 CP-CP070 Compte-rendu des journées d'étude sur la programmation 1974-10-21 - 1974-10-22 None
59 FR UMR7117 CP-CP178/CP186-CP184 Compte-rendu du colloque organisé par l'I.R.E.M de Nancy à Pont à mousson les 27 et 28 avril 1974 1974-04-27 - 1974-04-28 None
60 FR UMR7117 CP-CP253 Construire les algorithmes 1988 None
61 FR UMR7117 CP-CP198/CP209-CP199 Correctness proofs of syntax directed processing 1976 None
62 FR UMR7117 CP-CP210/CP222-CP221 Correctness proofs of syntax directed processing, Description by attributes 1979-08-01 None
63 FR UMR7117 CP-CP001/CP059-CP032 Correspondance 1976-08-16 None
64 FR UMR7117 CP-CP001/CP059-CP037 Correspondance entre A. Danzin et C. Pair 1978-10-23 None
65 FR UMR7117 CP-CP001/CP059-CP024 Correspondance entre A. Ershov et C. Pair 1975 None
66 FR UMR7117 CP-CP001/CP059-CP048 Correspondance entre A. Geismar et C. Pair 1985-11-28 None
67 FR UMR7117 CP-CP001/CP059-CP006 Correspondance entre A. Kaufmann et C. Pair 1967-02-03 None
68 FR UMR7117 CP-CP001/CP059-CP058 Correspondance entre B. Robinet et C. Pair 1990-02-15 None
69 FR UMR7117 CP-CP001/CP059-CP042 Correspondance entre B. Wegnel et C. Pair 1979-12-10 None
70 FR UMR7117 CP-CP001/CP059-CP015 Correspondance entre C. Chicoix et C. Pair 1972-11-07 None
71 FR UMR7117 CP-CP001/CP059-CP020 Correspondance entre D. Foata et C. Pair 1974-01-04 None
72 FR UMR7117 CP-CP001/CP059-CP051 Correspondance entre E. Neuhold et C. Pair 1985-08-01 None
73 FR UMR7117 CP-CP001/CP059-CP035 Correspondance entre E.W. Dijkstra et C. Pair 1978-11-03 None
74 FR UMR7117 CP-CP001/CP059-CP025 Correspondance entre Editorial Index et C. Pair 1975-03-07 None
75 FR UMR7117 CP-CP001/CP059-CP013 Correspondance entre F. Dubail et C. Pair 1971-02-01 None
76 FR UMR7117 CP-CP001/CP059-CP031 Correspondance entre F. Egger et C. Pair 1976-05-25 None
77 FR UMR7117 CP-CP001/CP059-CP050 Correspondance entre F. Funck-Brentano et C. Pair et solde tout compte 1985 - 1987-01-30 None
78 FR UMR7117 CP-CP001/CP059-CP007 Correspondance entre F.G Duncan et C. Pair 1969-03-30 None
79 FR UMR7117 CP-CP001/CP059-CP040 Correspondance entre F.L. Bauer et C. Pair 1979-04-10 None
80 FR UMR7117 CP-CP001/CP059-CP056 Correspondance entre H. Curien et C. Pair 1988 None
81 FR UMR7117 CP-CP001/CP059-CP026 Correspondance entre I. Ramos et C. Pair 1975-01-08 - 1975-01-23 None
82 FR UMR7117 CP-CP001/CP059-CP021 Correspondance entre J-L. Le Moigne et C. Pair 1974-02-21 None
83 FR UMR7117 CP-CP001/CP059-CP034 Correspondance entre J. Cohen et C. Pair et demonstration de mathématiques 1977-01-19 None
84 FR UMR7117 CP-CP001/CP059-CP014 Correspondance entre J. Kuntzmann et C. Pair et article sur l'informatique théorique 1971-10-19 - ? None
85 FR UMR7117 CP-CP001/CP059-CP046 Correspondance entre J.L.Lié et C. Pair 1981-10-24 None
86 FR UMR7117 CP-CP001/CP059-CP053 Correspondance entre J.L. Lié et C. Pair 1986-10-21 None
87 FR UMR7117 CP-CP001/CP059-CP055 Correspondance entre J. Lautrey et C. Pair 1988-07-15 None
88 FR UMR7117 CP-CP001/CP059-CP016 Correspondance entre J. Legras et C. Pair 1972-11-20 None
89 FR UMR7117 CP-CP001/CP059-CP044 Correspondance entre J. Vuillemin et C. Pair 1980-01-29 - 1980-03-24 None
90 FR UMR7117 CP-CP001/CP059-CP036 Correspondance entre l'Académie des Sciences et C. Pair 1978-10-12 None
91 FR UMR7117 CP-CP001/CP059-CP045 Correspondance entre l'INRIA et C. Pair 1981-01-15 None
92 FR UMR7117 CP-CP001/CP059-CP019 Correspondance entre l'Université de Barcelone et C. Pair 1973-07-05 None
93 FR UMR7117 CP-CP198/CP209-CP200 Correspondance entre l'Université de Neuchatel et C. Pair None
94 FR UMR7117 CP-CP001/CP059-CP017 Correspondance entre l'Université de Pennsylvanie et C. Pair 1973-11-13 None
95 FR UMR7117 CP-CP001/CP059-CP009 Correspondance entre L. Malavard et C. Pair 1969-11-25 - 1969-12-06 None
96 FR UMR7117 CP-CP001/CP059-CP002 Correspondance entre L. Schwartz et C. Pair 1965-11-08 None
97 FR UMR7117 CP-CP001/CP059-CP003 Correspondance entre la CERCI (J.L. Barsacq) et C. Pair 1966-07-18 None
98 FR UMR7117 CP-CP001/CP059-CP011 Correspondance entre le directeur Général de la Formation et de la Recherche et C. Pair 1970 None
99 FR UMR7117 CP-CP001/CP059-CP022 Correspondance entre le recteur de l'Université Autonome de Madrid et C. Pair 1974-11-11 None
100 FR UMR7117 CP-CP001/CP059-CP047 Correspondance entre M. Ezratty et C. Pair 1985-08-19 None
101 FR UMR7117 CP-CP001/CP059-CP018 Correspondance entre M. Magnier et C. Pair 1973-01-28 None
102 FR UMR7117 CP-CP001/CP059-CP038 Correspondance entre Madame Monpetit et C. Pair 1978-11-15 None
103 FR UMR7117 CP-CP001/CP059-CP054 Correspondance entre P. Agbogba et C. Pair 1986-05-22 None
104 FR UMR7117 CP-CP001/CP059-CP052 Correspondance entre P. Agobogda et C. Pair 1986-05-28 None
105 FR UMR7117 CP-CP001/CP059-CP008 Correspondance entre P. Broise et C. Pair 1969 None
106 FR UMR7117 CP-CP001/CP059-CP043 Correspondance entre P. Imbs et C. Pair 1980-07-07 None
107 FR UMR7117 CP-CP001/CP059-CP041 Correspondance entre R. Chabbal et C. Pair 1979 None
108 FR UMR7117 CP-CP001/CP059-CP012 Correspondance entre R. Muller et C. Pair 1971-01-18 - 1971-05-24 None
109 FR UMR7117 CP-CP151/CP161-CP152 Correspondance entre R. Peter et C. Pair 1968-10-05 None
110 FR UMR7117 CP-CP001/CP059-CP028 Correspondance entre S. Igarashi et C. Pair 1975-12 None
111 FR UMR7117 CP-CP001/CP059-CP010 Correspondance entre Y. Lutz et C. Pair 1970-10-21 None
112 FR UMR7117 CP-CP001/CP059-CP030 Correspondance entre Y. Slimani, Y. Chaher et C. Pair 1975-07-22 None
113 FR UMR7117 CP-CP001/CP059-CP029 Correspondances entre J. Hebenstreit et C. Pair 1975-03-20 - 1975-09-05 None
114 FR UMR7117 CP-CP001/CP059-CP023 Correspondances entre J. Kuntzmann, P. Vandervoorde, J. Capelle et C. Pair 1974-04-08 - 1974-07-25 None
115 FR UMR7117 CP-CP001/CP059-CP033 Correspondances entre M. Faucher, N. Chomsky, K. Culik et C. Pair 1976-06-07 - 1976-09-24 None
116 FR UMR7117 CP-CP001/CP059-CP001 Correspondance sur IBM 1620 Algol Compiler entre T.R. Carson et C. Pair 1965-06-28 None
117 FR UMR7117 CP-CP087 Cours 1620 et Algol 60 None
118 FR UMR7117 CP-CP074 Cours programmation IBM 650 1962 - 1963 None
119 FR UMR7117 CP-CP237 De l'algorithme au programme 1984 None
120 FR UMR7117 CP-CP088/CP136-CP091 Demarche informatique et enseignement 1974 None
121 FR UMR7117 CP-CP187/CP197-CP197 Depouillement des rapports documentaires 1976 des formations 1976-10 None
122 FR UMR7117 CP-CP178/CP186-CP179 De quoi est fait un programme Algol 68 1973-04-26 None
123 FR UMR7117 CP-CP137/CP150-CP145 Description d'un compilateur Algol 1965-04-23 None
124 FR UMR7117 CP-CP001/CP059-CP005 Deux correspondances entre R. Peter et C. Pair 1968-10-28 - 1969-02-20 None
125 FR UMR7117 CP-CP187/CP197-CP192 Du problème à sa solution 1975-11-19 - 1975-11-20 None
126 FR UMR7117 CP-CP187/CP197-CP191 Du problème à sa solution, brouillon 1975-10 None
127 FR UMR7117 CP-CP151/CP161-CP151 Définition et Etude des Bilangages Réguliers 1968 None
128 FR UMR7117 CP-CP151/CP161-CP153 Définition et Etude des Bilangages Réguliers, exemplaire de réference 1968 None
129 FR UMR7117 CP-CP250 EAO et illetrisme 1991 None
130 FR UMR7117 CP-CP248 Education et informatique, volume 1 1989-04-12 - 1989-04-21 None
131 FR UMR7117 CP-CP249 Education et informatique, volume 2 1989-04-12 - 1989-04-21 None
132 FR UMR7117 CP-CP162/CP177-CP167 Eléments de Logique mathématique - deuxième conférence 1970 None
133 FR UMR7117 CP-CP162/CP177-CP166 Eléments de Logique mathématique - première conférence 1970 None
134 FR UMR7117 CP-CP137/CP150-CP143 Essai de description de la semantique des langages de programmation 1964-12-07 None
135 FR UMR7117 CP-CP137/CP150-CP144 Etude d'un algorithme d'analyse syntaxique 1965 None
136 FR UMR7117 CP-CP244 Etude des problèmes de cheminement dans les graphes finis 1968-01 None
137 FR UMR7117 CP-CP088/CP136-CP092 Exposé de M. Pair, Professeur à l'université de NANCY II 1974-06 None
138 FR UMR7117 CP-CP071 Exposés du 15 Novembre 1973 1973-11-15 None
139 FR UMR7117 CP-CP162/CP177-CP170 Face, Langage pour l'écriture des compilateurs 1970-09 None
140 FR UMR7117 CP-CP078 Feuilles en transparence à projeter None
141 FR UMR7117 CP-CP079/CP086-CP085 Fiche d'identité du Centre de Recherche en Informatique de Nancy None
142 FR UMR7117 CP-CP088/CP136-CP114 Fiche signalétique administrative et coupure de journal 1988-06-25 None
143 FR UMR7117 CP-CP178/CP186-CP182 Formalisation des notions de donnée, d'information et de structure d'informations 1973-10 None
144 FR UMR7117 CP-CP178/CP186-CP183 Formalization of the notions of data, information and information structure 1973-10 - 1974-04 None
145 FR UMR7117 CP-CP233 Formal languages and programming 1976 None
146 FR UMR7117 CP-CP137/CP150-CP142 I - Introduction, en guise de titre 1964 None
147 FR UMR7117 CP-CP187/CP197-CP195 Inference for Regular Bilanguages None
148 FR UMR7117 CP-CP198/CP209-CP198 Inference for Regular Bilanguages 1978-02-01 None
149 FR UMR7117 CP-CP187/CP197-CP188 Inference for Regular Bilanguages 1975 None
150 FR UMR7117 CP-CP198/CP209-CP202 Informatique 78 AFCET et prise de note 1978-11-13 - 1978-11-15 None
151 FR UMR7117 CP-CP088/CP136-CP097 Informatique et enseignement : Hier, aujourd'hui et demain 1987 None
152 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP105 Informatique et lutte contre l'échec scolaire None
153 FR UMR7117 CP-CP088/CP136-CP112 Informatique pédagogique 1988-03-09 None
154 FR UMR7117 CP-CP088/CP136-CP090 Initiation à la programmation None
155 FR UMR7117 CP-CP223/CP227-CP224 International Colloquium on formalization of programming concepts 1981-04-20 - 1981-04-26 None
156 FR UMR7117 CP-CP066 Introduction Algol 68 Deuxième partie None
157 FR UMR7117 CP-CP065 Introduction Algol 68 Première partie None
158 FR UMR7117 CP-CP151/CP161-CP157 Introduction Algol 68 Première partie 1969 None
159 FR UMR7117 CP-CP151/CP161-CP154 Introduction to an Algebraic theory of ramifications 1968 None
160 FR UMR7117 CP-CP151/CP161-CP156 Introduction à Algol 68 1969 None
161 FR UMR7117 CP-CP151/CP161-CP158 Introduction à Algol 68 1969 None
162 FR UMR7117 CP-CP088/CP136-CP088 Je ne sais toujours pas enseigner la programmation 1988 None
163 FR UMR7117 CP-CP162/CP177-CP174 L'algorithme d'analyse syntaxique de P. Broise 1971 None
164 FR UMR7117 CP-CP088/CP136-CP089 L'algorithmique ou comment l'informatique amène à faire des mathématiques None
165 FR UMR7117 CP-CP088/CP136-CP103 L'apprentissage de la programmation None
166 FR UMR7117 CP-CP088/CP136-CP104 L'apprentissage de la programmation 1989-04 None
167 FR UMR7117 CP-CP198/CP209-CP208 L'architecte et l'ordinateur 1977-11 None
168 FR UMR7117 CP-CP210/CP222-CP214 L'architecte et l'ordinateur None
169 FR UMR7117 CP-CP062 L'enseignement de la programmation 1977-02-28 - 1977-03-04 None
170 FR UMR7117 CP-CP088/CP136-CP096 L'informatique, discipline et outil transversal à toutes les disciplines ? 1986-11 None
171 FR UMR7117 CP-CP198/CP209-CP207 La construction des programmes 1977-07 None
172 FR UMR7117 CP-CP210/CP222-CP217 La construction des programmes (*) 1979 None
173 FR UMR7117 CP-CP198/CP209-CP204 La construction des programmes (*) 1977 None
174 FR UMR7117 CP-CP210/CP222-CP210 La culture scientifique dans le monde contemporain 1979 None
175 FR UMR7117 CP-CP239 La culture scientifique dans le monde contemporain 1979 None
176 FR UMR7117 CP-CP137/CP150-CP149 La formalisation des grammaires 1967 None
177 FR UMR7117 CP-CP151/CP161-CP160 La notion de langage None
178 FR UMR7117 CP-CP210/CP222-CP219 La production assistée du logiciel introduction et perspectives 1980-02 None
179 FR UMR7117 CP-CP198/CP209-CP203 La programmation : de l'énoncé au programme 1978 None
180 FR UMR7117 CP-CP079/CP086-CP082 Le Pays Lorrain 1990 None
181 FR UMR7117 CP-CP137/CP150-CP148 Le problème de l'exploitation documentaire des dossiers médicaux 1966-11-06 None
182 FR UMR7117 CP-CP230 Les arbres en algèbre et en programmation 1976-02-05 - 1976-02-07 None
183 FR UMR7117 CP-CP210/CP222-CP213 Les arbres en théorie des langages None
184 FR UMR7117 CP-CP228 Les calculatrices et l'Enseignement des Mathématiques 1979 None
185 FR UMR7117 CP-CP088/CP136-CP098 Les langages informatiques dans l'enseignement 1987-12 None
186 FR UMR7117 CP-CP067 Les modes d'Algol 68 None
187 FR UMR7117 CP-CP235 Les perspectives de l'informatique 1987-06-17 None
188 FR UMR7117 CP-CP223/CP227-CP223 Les prototypes de l'atelier national logiciel 1981-01 None
189 FR UMR7117 CP-CP061 Les structures d'information et leur représentation en mémoire 1971 None
190 FR UMR7117 CP-CP229 Les structures de données et leur représentation en mémoire 1977-06 None
191 FR UMR7117 CP-CP060 Les structures de données et leur représentation en mémoire 1977-03-21 - 1977-03-25 None
192 FR UMR7117 CP-CP079/CP086-CP079 Les universités de Nancy 2003-05 None
193 FR UMR7117 CP-CP251 Le travail humain 1988-12 None
194 FR UMR7117 CP-CP001/CP059-CP059 Lettre de la commission de la République française pour l'éducation, la science et la culture 1996-05-20 None
195 FR UMR7117 CP-CP001/CP059-CP057 Lettre du secrétaire général de l'UNESCO 1988-05-05 None
196 FR UMR7117 CP-CP079/CP086-CP081 LORIA Promotion 2003 2003 None
197 FR UMR7117 CP-CP234 Manuel du langage algorithmique, Algol 68 1975 None
198 FR UMR7117 CP-CP162/CP177-CP177 Mathématiques et sciences humaines 1971 None
199 FR UMR7117 CP-CP198/CP209-CP206 Medée : a type of language for the deductive programming method 1978 None
200 FR UMR7117 CP-CP162/CP177-CP162 Mille et un algorithmes pour les problèmes de cheminement dans les graphes 1970 None
201 FR UMR7117 CP-CP231 New directions in algorithmic languages 1975 None
202 FR UMR7117 CP-CP088/CP136-CP105/CP111-CP110 Notes en anglais None
203 FR UMR7117 CP-CP088/CP136-CP095 Objectifs, realisation et experiences de l'introduction de l'informatique dans l'enseignement secondaire en France None
204 FR UMR7117 CP-CP178/CP186-CP180 On description languages for algorithms and programs 1973 None
205 FR UMR7117 CP-CP079/CP086-CP086 Photocopie d'un article anglais à propos du CRIN 1990 None
206 FR UMR7117 CP-CP088/CP136-CP100 Pochette blanche et jaune MAFPEN 1988-01-20 None
207 FR UMR7117 CP-CP073 Pochette jaune, CNRS rapports 1987 1987 None
208 FR UMR7117 CP-CP088/CP136-CP093 Pour un enseignement scientifique de la programmation None
209 FR UMR7117 CP-CP187/CP197-CP193 Preuves de descriptions de traitements de textes par attributs 1976-03 None
210 FR UMR7117 CP-CP198/CP209-CP201 Preuves de traitement des textes par attributs (manuscrit) 1977-01-06 None
211 FR UMR7117 CP-CP243 Problèmes de cheminement dans les graphes 1971 None
212 FR UMR7117 CP-CP210/CP222-CP218 Programa del curso : Tipos abstracos algebraicos y sus aplicaciones None
213 FR UMR7117 CP-CP241 Program Construction 1979 None
214 FR UMR7117 CP-CP236 Programmation, du problème à l'algorthme (1) 1984 None
215 FR UMR7117 CP-CP088/CP136-CP101 Programmation, langages et méthodes de programmation None
216 FR UMR7117 CP-CP088/CP136-CP099 Programmation, langages et méthodes de programmation None
217 FR UMR7117 CP-CP151/CP161-CP159 Programmes d'enseignement de l'informatique 1969 None
218 FR UMR7117 CP-CP088/CP136-CP102 Programming, Programming languages and programming methods 1990 None
219 FR UMR7117 CP-CP001/CP059-CP027 Projet de convention entre l'institut national d'économie de Cotonou, l'institut National Polytechnique de Nancy, l'universté de Nancy - I et l'université de Nancy - II 1975 None
220 FR UMR7117 CP-CP247 Psychology of programming 1990 None
221 FR UMR7117 CP-CP210/CP222-CP222 Publications de C. pairs 1979 None
222 FR UMR7117 CP-CP187/CP197-CP196 Quelques propositions pour un langage de très haut niveau 1975-07 None
223 FR UMR7117 CP-CP210/CP222-CP215 Quelques reflexions prospectives sur la construction du logiciel 1979-11-13 None
224 FR UMR7117 CP-CP069 Rapport d'évaluation Algol 68 1970-07 None
225 FR UMR7117 CP-CP162/CP177-CP172 Rapport d'évaluation Algol 68 1971 None
226 FR UMR7117 CP-CP001/CP059-CP049 Rapport de thèse de Radhia Cousot 1985 None
227 FR UMR7117 CP-CP076 Réunions SPECIF (conseil d'administration - bureau) 1985-05-29 - 2006-01-12 None
228 FR UMR7117 CP-CP240 Scientific Culture in the Contemporary World None
229 FR UMR7117 CP-CP001/CP059-CP004 Six demandes de tirés à part et une carte de visite 1969-10-15 - 1972-05-24 None
230 FR UMR7117 CP-CP187/CP197-CP189 Some proposals for a very high level language on a variable universe 1975-08 None
231 FR UMR7117 CP-CP198/CP209-CP205 Some theorical aspects of program construction 1978 None
232 FR UMR7117 CP-CP075 Specif 55 mars 2006 2006-03 None
233 FR UMR7117 CP-CP210/CP222-CP220 Specifications et langages de specifications (*) 1979-05 None
234 FR UMR7117 CP-CP079/CP086-CP084 Support de cours et transparents à projeter None
235 FR UMR7117 CP-CP137/CP150-CP137 Sur des algorithmes pour les problèmes de cheminement dans les graphes finis 1966 None
236 FR UMR7117 CP-CP162/CP177-CP165 Sur des notions algebriques liées à l'analyse syntaxique 1970 None
237 FR UMR7117 CP-CP137/CP150-CP147 Sur l'emploi des piles en analyse syntaxique 1967 None
238 FR UMR7117 CP-CP088/CP136-CP094 Sur l'enseignement de l'informatique en premier cycle 1975-07 None
239 FR UMR7117 CP-CP137/CP150-CP140 Sur la determination de la correspondance 1964 None
240 FR UMR7117 CP-CP162/CP177-CP168 Sur la syntaxe d'Algol 68 1969-02 None
241 FR UMR7117 CP-CP137/CP150-CP141 Sur la sémantique des langages de programmation 1964 None
242 FR UMR7117 CP-CP162/CP177-CP164 Sur les fonctions recursives primitives de ramifications 1970 None
243 FR UMR7117 CP-CP178/CP186-CP181 Sur les langages de description des algorithmes et des programmes 1973 None
244 FR UMR7117 CP-CP210/CP222-CP211 Sur les modèles des types abstraits algébriques 1980-05-13 None
245 FR UMR7117 CP-CP162/CP177-CP175 Survol de la théorie des langages None
246 FR UMR7117 CP-CP162/CP177-CP169 Survol de la théorie des langages 1970-10-23 None
247 FR UMR7117 CP-CP232 Symposia Mathematica, volume XV 1975 None
248 FR UMR7117 CP-CP162/CP177-CP176 Techniques de l'ingénieur 1970 None
249 FR UMR7117 CP-CP242 Textes présentés aux journées logique et programmation 1975-11-19 - 1975-11-20 None
250 FR UMR7117 CP-CP245 Théorie des graphes 1966-07 None
251 FR UMR7117 CP-CP063 Théorie des langages de C. Pair 1973-09 None
252 FR UMR7117 CP-CP178/CP186-CP178 Toute grammaire LL(k) est LR(k) (suite) (*) 1974-06 None
253 FR UMR7117 CP-CP064 Traduction anglaise de la thèse de Claude Pair par J. Berger 1965 None
254 FR UMR7117 CP-CP210/CP222-CP212 Types abstraits et semantique algebrique des langages de programmation 1980 None