NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 228
  • 86
  • 19
  • 5
  • Tagged with
  • 339
  • 148
  • 146
  • 119
  • 104
  • 75
  • 59
  • 51
  • 41
  • 39
  • 39
  • 37
  • 37
  • 36
  • 36
  • 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 339 (0.031 seconds)

Spelling suggestions: "subject:"langages"" "subject:"raingages""

11

Syntaxe, raisonnement et génomes

Nicolas, Jacques January 2008 (has links)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 2008. / Bibliogr. p. 93-107.
Langages de programmation Génome
12

Contraintes d'anti-filtrage et programmation par réécriture

Köpetz, Radu Kirchner, Claude Moreau, Pierre-Etienne January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2008. / Titre provenant de l'écran-titre.
13

Co-construction de sens par négociation pour la réutilisation en situation de l'expérience tracée vers le partage et l'échange d'expérience collective /

Stuber, Arnaud Mille, Alain January 2007 (has links) (PDF)
Reproduction de : Thèse de doctorat : Informatique : Lyon 1 : 2007. / Titre provenant de l'écran titre. Bibliogr. 199-206.
Sémantique Langages de programmation
14

Évaluation paresseuse des filtrages avec priorité, application au langage ML... /

Laville, Alain, January 1988 (has links)
Th.--Informatique--Paris VII, 1988. / Bibliogr. p. 125-127.
Langages de programmation fonctionnelle.
15

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

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

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

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

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

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

Page generated in 0.0375 seconds