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

21

Notices

Communication dans un congrès

187

Total

134

Documents

0

Annexes

53

Notices

Poster de conférence

2

Total

0

Documents

0

Annexes

2

Notices

Proceedings/Recueil des communications

4

Total

1

Documents

0

Annexes

3

Notices

N°spécial de revue/special issue

1

Total

0

Documents

0

Annexes

1

Notices

Ouvrages

8

Total

0

Documents

0

Annexes

8

Notices

Chapitre d'ouvrage

5

Total

2

Documents

0

Annexes

3

Notices

Brevet

1

Total

0

Documents

0

Annexes

1

Notices

Autre publication scientifique

7

Total

2

Documents

0

Annexes

5

Notices

Pré-publication, Document de travail

11

Total

11

Documents

0

Annexes

0

Notices

Rapport

26

Total

22

Documents

0

Annexes

4

Notices

Thèse

15

Total

15

Documents

0

Annexes

0

Notices

HDR

3

Total

3

Documents

0

Annexes

0

Notices