1 |
Un éditeur graphique pour le système CASCADE EDICAS /Marty, Jean-Charles. Mermet, Jean. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1984. / Titre provenant de l'écran-titre.
|
2 |
Comparaison des comportements des processus communicants application au langage FP2 /Rogé, Sylvie Sifakis, Joseph. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. 191-197.
|
3 |
Un Système d'aide à la construction de programmes itératifs.Soufi, Loutfi, January 1900 (has links)
Th. doct.-ing.--Inform.--Nancy--I.N.P.L., 1984.
|
4 |
Une étude sur la base de la programmation algorithmique notation et environnement de travail /Morat, Philippe. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1983. / Titre provenant de l'écran-titre. Bibliogr. p. 153-164.
|
5 |
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.
|
6 |
Analyse de modèles écrits en CASCADE et superviseur du système de simulation associéBressy, Yvon. Mermet, Jean January 2008 (has links)
Reproduction de : Mémoire d'ingénieur : informatique : Grenoble, CNAM : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 285-292.
|
7 |
Le langage GRAFCET des automates programmables TELEMECANIQUE TSX27 et TSX47 saisie graphique et interpretation /Korzeczek, Sylvain. Bolliet, Louis. January 2008 (has links)
Reproduction de : Mémoire d'ingénieur : informatique : Grenoble, CNAM : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. 86.
|
8 |
Dualität und Aktivitätsanalyse.Landtwing, Robert. January 1971 (has links)
Thèse Sciences économiques, 1971.
|
9 |
Comportement de la barrière logarithmique au voisinage d'une solution dégénéréeEl Afia, Abdellatif. January 2000 (has links)
Thèses (Ph.D.)--Université de Sherbrooke (Canada), 2000. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
10 |
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.
|
Page generated in 0.1838 seconds