E-Prints Complutense

Eprints más vistos: [2013] [2012] [Todos los años]
Estadísticas del Archivo: [por Año/mes] [por País]

Decision procedures for the temporal verification of concurrent data structures

Para este eprint: [2013] [2012] [Todos los años]

Historial de descargas de este eprint:

NOTA: Desde junio de 2009 hasta mayo de 2010 inclusive, algunas descargas se han contabilizado erróneamente por duplicado.
Los números entre paréntesis representan los países distintos desde los que se originaron las descargas.
Período	Descargas
2013 Abr	10	(4)
2013 Mar	13	(7)
2013 Feb	0	(0)
2013 Ene	22	(8)
2012 Dic	17	(6)
2012 Nov	11	(4)
2012 Oct	19	(4)
2012 Sep	17	(5)
2012 Ago	14	(6)
2012 Jul	26	(6)
2012 Jun	11	(3)
2012 May	14	(4)
2012 Abr	18	(3)
2012 Mar	15	(6)
2012 Feb	11	(7)
2012 Ene	12	(5)
2011 Dic	14	(5)
2011 Nov	20	(4)
2011 Oct	10	(5)
2011 Sep	12	(5)
2011 Ago	3	(1)

Descargas por país (deducidas de la dirección IP solicitante) en todos los años

País		Descargas
	United States	107
	Russian Federation	58
	China	47
	Spain	21
	Campus U.C.M.	15
	France	12
	Peru	3
	Germany	3
	Mexico	3
	Japan	2
	Romania	2
	India	2
	United Kingdom	2
	Bolivia	2
	Canada	1
	Switzerland	1
	Belarus	1
	Ukraine	1
	Lithuania	1
	Iceland	1
	Ireland	1
	Colombia	1
	New Zealand	1
	Poland	1
Total acumulado:		289	descargas de este eprint desde 24 países distintos

Inicio de página