index - Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes

 Laboratoire de Recherche en Informatique

Equipe Vérification d'Algorithmes, Langages et Systèmes

 

Derniers dépôts

Chargement de la page

 

 

À l'attention du déposant
  • Le dépôt doit être effectué en accord avec les co-auteurs et dans le respect de la politique des éditeurs
  • La mise en ligne est assujettie à une modération, la direction de HAL se réservant le droit de refuser les articles ne correspondant pas aux critères de l'archive
  • Tout dépôt est définitif, aucun retrait ne sera effectué après la mise en ligne de l'article
  • Les fichiers textes au format pdf ou les fichiers images composant votre dépôt sont maintenant envoyés au CINES dans un contexte d'archivage à long terme.
À l'attention des lecteurs
  • Dans un contexte de diffusion électronique, tout auteur conserve ses droits intellectuels, notamment le fait de devoir être correctement cité et reconnu comme l'auteur d'un document.

Nombre de fichiers

226

Nombre de Notices

101

Repartition des depots par type de document

Evolution des dépôts

Recherche dans la collection