Proof, language, and interaction: essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte. — Cambridge, Massachusetts; London, England: MIT Press, 2000. — 1 PDF (xiv, 722 p.): ill. — (Foundations of computing). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426>. — Текст: электронный
|
Период
|
Чтение
|
Печать
|
Копирование
|
Открытие
|
Итого
|
|
Год 2020
|
Квартал 1
|
0
|
0
|
0
|
1
|
1
|
|
Квартал 2
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 3
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 4
|
0
|
0
|
0
|
0
|
0
|
|
2021
|
Квартал 1
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 2
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 3
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 4
|
0
|
0
|
0
|
0
|
0
|
|
Год 2022
|
Квартал 1
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 2
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 3
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 4
|
0
|
0
|
0
|
1
|
1
|
|
Год 2023
|
Квартал 1
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 2
|
0
|
0
|
0
|
1
|
1
|
|
Квартал 3
|
0
|
0
|
0
|
4
|
4
|
|
Квартал 4
|
0
|
0
|
0
|
4
|
4
|
|
Всего
|
0
|
0
|
0
|
11
|
11
|
