Institut de recherche en informatique. Nantes

Pays :France
Langue :français
Création :1992
Adresse :3 rue de la Houssinière, 44322 Nantes Cedex 3. Tél. 02.40.37.49.01. Fax 02.40.37.40.70. Mel : christine.brunet@irin.univ-nantes.fr.
Note :
Unité propre de recherche de l'enseignement supérieur-Equipe d'accueil 2157
Autres formes du nom :Ecole centrale de Nantes. Institut de recherche en informatique
IRIN
Université de Nantes. Institut de recherche en informatique

Ses activités

Éditeur scientifique5 documents

  • 1st Conference on the B method

    8th International conference on Putting into practice methods and tools for information system design, November, 25-26-27, 1996, Nantes, France, proceedings

    Description matérielle : 353 p.
    Description : Note : Autre forme du titre : "First B conference, Nantes, 25-26-27 November 1996". La couv. porte par erreur : "November, 24-25-26 1996". - Textes en anglais ou en français. - Notes bibliogr. Index. Résumés
    Édition : Nantes : Institut de recherches en informatique de Nantes , 1996
    Éditeur scientifique : Henri Habrias
    Auteur du texte : Conférence internationale B (01 ; 1996 ; Nantes)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb35855631m]
  • Extraction et gestion des connaissances

    [communications de la Conférence] EGC'2001, [École polytechnique de l'Université de Nantes, 17-19 janvier 2001]

    Description matérielle : 348 p.
    Description : Note : Notes bibliogr. Résumés en français et en anglais
    Édition : Paris : Hermès , 2001
    Auteur du texte : Journées francophones d'extraction et de gestion des connaissances (2001 ; Nantes)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb376390632]
  • Inforsid

    actes du XXe Congrès, 4-7 juin 2002, Nantes

    Description matérielle : 434 p.
    Description : Note : Titre de couv. : "Inforsid' 2002". - Inforsid = Informatique des organisations et systèmes d'information et de décision. - Textes des communications en anglais ou en français. - Notes bibliogr. Résumés en français et en anglais
    Édition : Toulouse : Inforsid , 2002
    Éditeur scientifique : Ecole polytechnique de l'Université de Nantes
    Auteur du texte : INFORSID. Congrès. France (20 ; 2002 ; Nantes)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb388887440]
  • International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?"

    March 26-27, 1998, Nantes, France, proceedings [of the 9th Meeting] in the serie Putting into practice methods and tools for information system design

    Description matérielle : XIII-492 p.
    Description : Note : Notes bibliogr. Index. Résumés
    Édition : Nantes : IRIN , 1998
    Éditeur scientifique : Michel Allemand, Christian Attiogbé, Henri Habrias
    Auteur du texte : International workshop on comparing systems specification techniques (1998 ; Nantes)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb370251158]
  • Z twenty years on. What is its future ?

    proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, Nantes

    Description matérielle : 264 p.
    Description : Note : Textes en anglais ou en français. - Notes bibliogr. Résumés en anglais. Introd. en anglais et en français
    Édition : Nantes : IUT , 1995
    Éditeur scientifique : Henri Habrias
    Auteur du texte : International conference on putting into practice methods and tools for information system design (07 ; 1995)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb35848170n]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Modélisation de la connaissance / P. Drix, 1993
  • Internet, http://www.sceince.univ-nantes.fr, 1999-09-09

Autres formes du nom

  • Ecole centrale de Nantes. Institut de recherche en informatique
  • IRIN
  • Université de Nantes. Institut de recherche en informatique

Pages équivalentes