Résultat(s) 1 - 20 résultats de 24 pour la requête 'Habrias Henri', Temps de recherche: 0,07s Affiner les résultats
  1. 1
    Le modèle relationnel binaire : méthode I. A. (NIAM)
    par Habrias Henri
    Eyrolles 1988
    Livre
  2. 2
    La Mesure du logiciel
    par Habrias Henri
    Teknéa DL 1995
    Livre
  3. 3
    Concepts, méthode, outils pour l'étude du système d'information
    par Habrias Henri
    Université Paris IX 1978
    Thèse ou mémoire
  4. 4
    Dictionnaire encyclopédique du génie logiciel
    par Habrias Henri
    Masson DL 1997
    Livre
  5. 5
    Systèmes et structures
    par Habrias Henri
    Impr. de l'IUT 1974
    Livre
  6. 6
    Petit dictionnaire à l'usage des lecteurs novices d'Abélard
    par Habrias Henri
    Université de Nantes 2001
    Livre
  7. 7
    Spécification formelle avec B
    par Habrias Henri
    Hermès Science DL 2001
    Livre
  8. 8
    Introduction à la spécification
    par Habrias Henri
    Masson DL 1993
    Livre
  9. 9
    Informatique : Cantor : Cours : Exercices corriges
    par Briand Henri, Habrias Henri
    Institut Universitaire de Technologie 1974
    Livre
  10. 10
    Methodologie, étude de l'existant, analyse fonctionnelle : 1
    par Briand Henri, Habrias Henri
    Institut Universitaire de technologie 1974
    Livre
  11. 11
    Organisation
    par Habrias Henri, Branchet Jean
    Institut Universitaire de Technologie [1974]
    Livre
  12. 12
    H. Briand, H. Habrias. |Cantor. Cours. Exercices. Corrigés
    par Briand Henri, Habrias Henri
    Impr. de l'IUT 1974
    Livre
  13. 13
    Conception et réalisation d'un logiciel conversationnel d'analyse fonctionnelle : rapport final de l'ATP CNRS IRIA n 7303
    par Briand Henri, Habrias Henri, Jayez Jacques-Henri
    Ecole nationale superieure de mecanique, Laboratoire d'informatique et d'analyse numerique appliquees 1976
    Livre
  14. 14
    La spécification formelle avec Z
    Livre
  15. 15
    Mathématiques à l'usage des informaticiens
    par Brugère Thierry, Mollard Alain
    Ellipses C 2003
    Livre
  16. 16
    Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information : actes des journées... [de] Nantes... 23-24 septembre 1987
    LIANA-IUT 1987
    Livre
  17. 17
    UML : la notation unifiée de modélisation objet : applications en java
    par Lai Michel
    Interéditions C 1997
    Livre
  18. 18
    Pierre Abélard : colloque international de Nantes
    Presses universitaires de Rennes DL 2003
    Livre
  19. 19
    The B Method : from Research to Teaching : Actes/proceedings, Nantes, cité internationale des congrès, 16 juin 2008, Journées scientifiques de l'Université de Nantes
    Livre
  20. 20
    Pierre Abélard à l'aube des universités : actes de la conférence internationale, Université de Nantes, France, 3-4 octobre 2001
    Université de Nantes 2001
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.