1 |
Le Système d'exploitation dans le projet SYGARE.Nonn, Philippe, January 1900 (has links)
Th. doct.-ing.--Nancy, I. N. P. L., 1978.
|
2 |
Étalonnage de la sûreté de fonctionnement des systèmes d'exploitation spécifications et mise en oeuvre /Kalakech, Ali Kanoun, Karama. January 2005 (has links)
Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 92 réf.
|
3 |
Des fondements de la virologie informatique vers une immunologie formelleKaczmarek, Matthieu Marion, Jean-Yves. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2008. / Titre provenant de l'écran-titre.
|
4 |
Modéles orientés-objet pour la vérification de systèmes concurrents sémantique en termes de M-nets d'un langage concurrent à objets /Bui Thanh, Cécile Klaudel, Hanna. January 2004 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2004. / Titre provenant de l'écran-titre.
|
5 |
Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillantsAlbinet, Arnaud. Arlat, Jean. January 2005 (has links)
Reproduction de : Thèse de doctorat : Informatique et télécommunications : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 89 réf.
|
6 |
Généralisation de la notion d'espaces virtuels sous les systèmes CP-67/CMSLe Heiget, Jean-Pierre. Bellot, M.. Bolliet, Louis. January 2008 (has links)
Reproduction de : Mémoire d'ingénieur : informatique : Grenoble, CNAM : 1972. / Titre provenant de l'écran-titre. Bibliogr. p.
|
7 |
Implémentation de protocoles de communication ISO sur un mini-6 sous UNIXFeydel, Bernard. January 2008 (has links)
Reproduction de : Mémoire d'ingénieur : informatique : Grenoble, CNAM : 1984. / Titre provenant de l'écran-titre. Bibliogr. p. 84-85.
|
8 |
Reprise de processus dans un environnement distribué après pannes matérielles transitoires ou permanentesAliouat, Makhlouf. Courtois, Bernard January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. 281-289.
|
9 |
Contribution à la conception de systèmes d'exploitation adaptatifs et extensible du micro-noyau à l'évaluation partielle /Muller, Gilles January 1997 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1997. / Bibliogr. p.75-83.
|
10 |
Environnements d'exécution pour passerelles domestiquesRoyon, Yvan Ubéda, Stéphane. Frénot, Stéphane. January 2008 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 105-114.
|
Page generated in 0.1095 seconds