NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 311
  • 86
  • 18
  • 4
  • 2
  • 1
  • Tagged with
  • 442
  • 120
  • 112
  • 104
  • 86
  • 71
  • 69
  • 58
  • 57
  • 52
  • 45
  • 45
  • 38
  • 38
  • 37
  • 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 31 to 40 of 442 (0.037 seconds)

Spelling suggestions: "subject:"logiciels"" "subject:"progiciels""

31

MAITRISE DE L'INFORMATION NON STRUCTUREE ET CAPITALISATION DE SAVOIR ET SAVOIR-FAIRE EN INGENIERIE INTEGREE. CAS D'ETUDE AEROSPATIALE /

Gardoni, Mickaël. Vernadat, François. January 1999 (has links) (PDF)
Thèse de doctorat : SCIENCES ET TECHNIQUES : Metz : 1999. / 1999METZ025S. 125 ref.
Génie industriel Logiciels de groupe
32

Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel

Marsden, Éric. Fabre, Jean-Charles. January 2004 (has links)
Reproduction de : Thèse de doctorat : Informatique et télécommunications : Toulouse, INPT : 2004. / Titre provenant de l'écran-titre. Bibliogr. 45 réf.
Fiabilité Logiciels médiateurs
33

Test de modèles formels en B cadre théorique et critères de couverture /

Behnia, Salimeh. Thévenod-Fosse, Pascale. January 2004 (has links)
Reproduction de : Thèse de doctorat : Informatique et télécommunications : Toulouse, INPT : 2000. / Titre provenant de l'écran-titre. Bibliogr. 90 réf.
Méthode B (informatique) Logiciels
34

Adaptation des composants centrée sur l'utilisation

Pham Thi Xuan, Loc. Padiou, Gérard January 2005 (has links)
Reproduction de : Thèse de doctorat : Informatique et télécommunication : Toulouse, INPT : 2004. / Titre provenant de l'écran-titre. Bibliogr. 133 réf.
Génie logiciel Composants logiciels
35

Logiciels libres en bibliothèques

Chayreron, Aline Heuqueville, Anne Tournerie, Sarah Guichard, Éric January 2006 (has links) (PDF)
Mémoire de recherche diplôme de conservateur des bibliothèques : Bibliothéconomie : Villeurbanne, ENSSIB : 2006. / Texte intégral.
36

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.
Langages de programmation. Logiciels
37

Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels

Zucchelli, Daniele Rusinowitch, Michaël Ghilardi, Silvio. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2008. Thèse de doctorat : Informatique : Università degli studi (Milan, Italie) : 2008. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre. Bibliogr. Index.
38

Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi la méthodologie SCALP /

François, Philippe. Muller, Jean-Michel Della Dora, Jean Laurent, Pierre Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 136.
Calcul d'erreur Logiciels
39

Vérification de propriétés de programmes flots de données synchrones

Glory, Anne-Cécile. Ouabdesselam, Farid. Verjus, Jean-Pierre. Jorrand, Philippe. Sifakis, Joseph. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 225-229.
Logiciels Temps réel (informatique)
40

Test statistique structurel par résolution par contraintes de choix probabiliste

Petit, Matthieu Jensen, Thomas January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 113-119.

Page generated in 0.0419 seconds