Статистика использования

Dill, David L. Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill. — Cambridge, Massachusetts; London, England: MIT Press, 2003. — 1 PDF (163 p.): ill. — (ACM distinguished dissertations). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249>. — Текст: электронный

Период			Чтение	Печать	Копирование	Открытие	Итого
Год 2020	Квартал 1	Февраль	0	0	0	1	1
		Март	0	0	0	0	0
	Квартал 2	Апрель	0	0	0	0	0
		Май	0	0	0	0	0
		Июнь	0	0	0	0	0
	Квартал 3	Июль	0	0	0	0	0
		Август	0	0	0	0	0
		Сентябрь	0	0	0	0	0
	Квартал 4	Октябрь	0	0	0	0	0
		Ноябрь	0	0	0	0	0
		Декабрь	0	0	0	0	0
Год 2021	Квартал 1	Январь	0	0	0	0	0
		Февраль	0	0	0	0	0
		Март	0	0	0	0	0
	Квартал 2	Апрель	0	0	0	0	0
		Май	0	0	0	0	0
		Июнь	0	0	0	0	0
	Квартал 3	Июль	0	0	0	0	0
		Август	0	0	0	0	0
		Сентябрь	0	0	0	0	0
	Квартал 4	Октябрь	0	0	0	0	0
		Ноябрь	0	0	0	1	1
		Декабрь	0	0	0	0	0
Год 2022	Квартал 1	Январь	0	0	0	0	0
		Февраль	0	0	0	0	0
		Март	0	0	0	0	0
	Квартал 2	Апрель	0	0	0	0	0
		Май	0	0	0	0	0
		Июнь	0	0	0	0	0
	Квартал 3	Июль	0	0	0	0	0
		Август	0	0	0	1	1
		Сентябрь	0	0	0	0	0
	Квартал 4	Октябрь	0	0	0	1	1
		Ноябрь	0	0	0	1	1
		Декабрь	0	0	0	0	0
Год 2023	Квартал 1	Январь	0	0	0	1	1
		Февраль	0	0	0	0	0
		Март	0	0	0	1	1
	Квартал 2	Апрель	0	0	0	1	1
		Май	0	0	0	0	0
		Июнь	0	0	0	0	0
	Квартал 3	Июль	0	0	0	0	0
		Август	0	0	0	0	0
		Сентябрь	0	0	0	4	4
	Квартал 4	Октябрь	0	0	0	1	1
		Ноябрь	0	0	0	0	0
		Декабрь	0	0	0	0	0
Год 2024	Квартал 1	Январь	0	0	0	0	0
		Февраль	0	0	0	0	0
		Март	0	0	0	0	0
	Квартал 2	Апрель	0	0	0	2	2
		Май	0	0	0	1	1
		Июнь	0	0	0	0	0
	Квартал 3	Июль	0	0	0	0	0
		Август	0	0	0	1	1
		Сентябрь	0	0	0	0	0
	Квартал 4	Октябрь	0	0	0	1	1
		Ноябрь	0	0	0	0	0
Всего			0	0	0	18	18