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

Article dans une revue

53

Total

32

Documents

0

Annexes

Communication dans un congrès

187

Total

134

Documents

0

Annexes

Poster de conférence

2

Total

0

Documents

0

Annexes

Proceedings/Recueil des communications

4

Total

1

Documents

0

Annexes

N°spécial de revue/special issue

1

Total

0

Documents

0

Annexes

Ouvrages

8

Total

0

Documents

0

Annexes

Chapitre d'ouvrage

5

Total

2

Documents

0

Annexes

Brevet

1

Total

0

Documents

0

Annexes

Autre publication scientifique

7

Total

2

Documents

0

Annexes

Pré-publication, Document de travail

11

Total

11

Documents

0

Annexes

Rapport

26

Total

22

Documents

0

Annexes

Thèse

15

Total

15

Documents

0

Annexes

HDR

3

Total

3

Documents

0

Annexes