Spelling suggestions: "subject:"langages dde programmation"" "subject:"langages dee programmation""
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 typeBensalem, 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énomesNicolas, 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éécritureKö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.1112 seconds