Précédent : Gestion documentaire
Remonter : Service Documentation, Centre de documentation
Suivant : Bibliothèque électronique
La bibliothèque gère les publications de l'institut : publications internes,
thèses préparées à l'Irisa, documents d'habilitation à diriger les recherches.
Ces documents sont :
- archivés sur la machine ftp de l'Irisa,
- annoncés dans les forums irisa.bibli, inria.doc, comp.doc.techreports,
- mis à disposition via le Web,
- envoyés (sous forme papier) systématiquement à une quarantaine d'établissements, principalement francophones, à travers le monde.
Dans le cadre de la diffusion de l'information scientifique, le centre de documentation, par le biais de l'unité de communication de l'Inria, alimente deux bases :
- Thesauria : bulletin électronique de l'Inria sur la littérature grise,
- Griseli : base du ministère de l'enseignement supérieur et de la recherche pour laquelle l'Inria assure le rôle de pôle dans le domaine de l'informatique et des mathématiques appliquées.