- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 51 to 60 of 1602 (0.093 seconds)Spelling suggestions: "subject:"programmation"" "subject:"programmations""
| 51 |
Machines virtuelles pour langages applicatifs et langages acteur réalisation et programmation.Danvy, Olivier. January 1986 (has links)
Th.--Inform.--Paris 6, 1986.
|
| 52 |
ALOG : acteurs et programmation en logique.Carre, Françoise, January 1900 (has links)
Th. doct.-ing.--Inform.--Toulouse--I.N.P., 1984. N°: 314.
|
| 53 |
Extraction de programmes dans le calcul des constructions /Paulin-Mohring, Christine, January 1900 (has links)
Th. univ.--Paris 7--Informatique, 1989. / 1989 d'après la déclaration de dépôt légal. Bibliogr. p. 226-228. Résumé en français.
|
| 54 |
Quelques programmes graphiques d'analyse numérique.Petit, Marc, January 1900 (has links)
Th. 3e cycle--Informatique--Grenoble 1, 1971. N°: 146. / Bibliogr. p. 116-117.
|
| 55 |
Sur les cônes et les polyèdres convexes en optimisation.Contesse, Luis, January 1900 (has links)
Th. doct.-ing.--Lille 1, 1977. N°: 199.
|
| 56 |
Making APL readable : a new direction for design /Basum, Christoph von. January 1900 (has links)
Diss.--Universität Bielefeld, 1992. / Date de publication trouvée au dos de la page de titre dans le CIP (Kurztitelaufnahme der Deutschen Bibliothek). Contient une préf. en allemand. Bibliogr. p. 255-264.
|
| 57 |
Production de compilateurs à partir d'une description sémantique des langages de programmation : le système Perluette.Deschamp, Philippe, January 1900 (has links)
Th. doct.-ing.--Nancy, I.N.P.L., 1980. / Rés.
|
| 58 |
Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation.Gaudel, Marie-Claude, January 1900 (has links)
Th.--Sci. phys.--Nancy--I.N.P.L., 1980.
|
| 59 |
Sémantique des liaisons nom-valeur : application à l'implémentation des lambda-langages.Durieux, Jean-Louis, January 1900 (has links)
Th.--Sci.--Toulouse 3, 1981. N°: 1008.
|
| 60 |
Fiabilité et sécurité des programmes : propositions autour d'un langage d'essai.Cunin, Pierre-Yves, January 1900 (has links)
Th.--Sci. math.--Nancy--I.N.P.L., 1979.
|
Page generated in 0.0974 seconds