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

Histogramme représentant le nombre de documents par période de temps (année ou intervalle de temps) et par type de document (une liste alternative est disponible grâce au bouton suivant).
Période Documents Annexes Notices
after 2025 0 0 0
2024 0 0 0
2023 0 0 0
2022 0 0 0
2021 0 0 0
2020 1 0 0
2019 37 0 10
2018 66 0 17
2017 55 0 22
2016 59 0 26
2015 58 0 23
2014 47 0 25
2013 58 0 30
2012 45 0 19
2011 12 0 3
2010 6 0 3
2009 4 0 3
2008 0 0 4
2007 0 0 5
2006 0 0 4
2005 0 0 3
2004 0 0 1
2003 0 0 0
2002 0 0 0
2001 0 0 0
2000 1 0 0
1999 1 0 0
1998 0 0 0
1997 0 0 0
1996 0 0 0
1995 1 0 0
1994 1 0 1
1993 0 0 2
1992 0 0 1
1991 0 0 0
1990 0 0 0
1989 0 0 0
1988 0 0 0
1987 0 0 0
1986 0 0 0
1985 0 0 0
1984 0 0 0
1983 0 0 0
1982 0 0 0
1981 0 0 0
1980 0 0 0
1979 0 0 0
1978 0 0 0
1977 0 0 0
1976 0 0 0
1975 0 0 0
1974 0 0 0
1973 0 0 0
1972 0 0 0
1971 0 0 0
1970 0 0 0
before 1970 0 0 0