NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 67
  • 17
  • 1
  • Tagged with
  • 84
  • 84
  • 29
  • 27
  • 26
  • 21
  • 19
  • 11
  • 11
  • 10
  • 10
  • 10
  • 9
  • 8
  • 8
  • 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 11 to 20 of 84 (0.145 seconds)

Spelling suggestions: "subject:"langages dde programmation"" "subject:"langages dee programmation""

11

Machines virtuelles pour langages applicatifs et langages acteur réalisation et programmation.

Danvy, Olivier. January 1986 (has links)
Th.--Inform.--Paris 6, 1986.
Langages de programmation fonctionnelle.
12

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.
13

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.
14

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.
15

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.
16

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.
Langages de programmation Logiciels
17

Notation et processus de traduction des langages symboliques

Bolliet, Louis. Kuntzmann, Jean January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences appliquées : Grenoble 1 : 1967. / Titre provenant de l'écran-titre.
18

LUSTRE un langage déclaratif pour le temps réel /

Bergerand, Jean-Louis. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre.
19

Validation sémantique dans les théories structurées application à un langage de programmation générique /

Drabik, Pascal. Bert, Didier. Mossière, Jacques. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 177-185.
20

Etude de langages interprétables par une machine langage de haut niveau

Park, Seung Kyu. Schoellkopf, J.-P.. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : génie informatique : Grenoble, INPG : 1982. / Titre provenant de l'écran-titre. Bibliogr.

Page generated in 0.149 seconds