• 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.
1

Linéarité un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation /

Gaboardi, Marco Marion, Jean-Yves. Ronchi Della Rocca, Simona. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. Thèse de doctorat : Informatique : Université de Torino - ITALIE : 2007. / Titre provenant de l'écran-titre.
2

Le Système SAM, métacompilation très efficace à l'aide d'opérateurs sémantiques /

Weis, Pierre. January 1900 (has links)
Th.--Informatique--Paris VII, 1987. / 1988 d'après la déclaration de dépôt légal. Bibliogr. p. 289-297.
3

Analyse syntaxique par couche /

Constant, Patrick. January 1991 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1991. / Bibliogr. p. 263-266.
4

Définition et implantation d'un langage de manipulation de données.

Bouchet, Pierre, January 1900 (has links)
Th. 3e cycle--Inform.--Nancy--I.N.P.L., 1982.
5

La Production de programmes dans le projet SYGARE.

Cochet-Muchy, Alain, January 1900 (has links)
Th. doct.-ing.--Nancy, I. N. P. L., 1978.
6

Algèbre de programmes dans un univers type

Bensalem, Saddek. January 2008 (has links)
Reproduction de : Thèse de 3e cycle- : informatique : Grenoble, INPG : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 109-115.
7

Syntaxe, raisonnement et génomes

Nicolas, Jacques January 2008 (has links)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 2008. / Bibliogr. p. 93-107.
8

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

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

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

Page generated in 0.1487 seconds