NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 81
  • 31
  • 13
  • 1
  • Tagged with
  • 132
  • 132
  • 65
  • 45
  • 41
  • 37
  • 30
  • 27
  • 22
  • 18
  • 16
  • 15
  • 14
  • 13
  • 13
  • 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 1 to 10 of 132 (0.151 seconds)

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

1

Contribution à l'intégration de C++ et de Prolog à travers la machine abstraite de Warren : le système cop-compilé

El Mokhtari, Mounir. January 1997 (has links)
Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
2

Production de logiciels pour l'enseignement une expérience de prototypage d'un système construit sur un environnement Prolog /

Lucci, Alain. Scholl, Pierre-Claude. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 151-181.
3

Memory-Constrained Security Enforcement

Talhi, Chamseddine. January 1900 (has links) (PDF)
Thèse (Ph. D.)--Université Laval, 2007. / Titre de l'écran-titre (visionné le 18 sept. 2007). Bibliogr.
Java (Langage de programmation)
4

Développement de logiciels d'analyse structurale à interface graphique : WMNPhi et CalWin

Labbé, Alexandre. January 2001 (has links)
Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 2001. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
Logiciels C++ (Langage de programmation)
5

Application de la méthode de vérification de modèles sur des protocoles de communication JAVA

Ben Ezzine, Radhouane. January 2002 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 2002. / Titre de l'écran-titre (visionné le 18 juillet 2006). Publié aussi en version papier.
6

Stratégies d'évaluation parallèle de requêtes Datalog récursives /

Lifschitz, Sérgio. January 1994 (has links)
Th. doct.--Inform. et réseaux--Paris--ENST, 1994. / Bibliogr. p. 145-151.
Datalog (langage de programmation)
7

Making APL readable : a new direction for design /

Basum, Christoph von. January 1900 (has links)
Diss.--Universität Bielefeld, 1992. / Date de publication trouvée au dos de la page de titre dans le CIP (Kurztitelaufnahme der Deutschen Bibliothek). Contient une préf. en allemand. Bibliogr. p. 255-264.
APL (langage de programmation)
8

Machine PASC-HLL réalisation avec des micro-processeurs en tranches d'une unité centrale multi-processeur adaptée au langage PASCAL /

Baille, Gérard. Anceau, François January 2008 (has links)
Reproduction de : Thèse de doctorat : génie informatique : Grenoble, INPG : 1983. / Titre provenant de l'écran-titre.
9

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

Un opérateur d'unification pour une machine base de connaissance PROLOG

Ianeselli, Jean-Christophe. Anceau, François January 2008 (has links)
Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 267-274.

Page generated in 0.1548 seconds