Ильин, В.В. Формальные и полуформальные подходы к верификации моделей полупроводниковых устройств [Электронный ресурс] / В.В. Ильин, А.Н. Волков, М.А. Никитин. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 86,8Кб) // Материалы...25-30 ноября 2002 года [Электронный ресурс] / Совет СПбГПУ по научно-исследовательской работе студентов; Под ред. В.В. Глухова. – СПб. – 2003. – Факультет технической кибернетики [Электронный ресурс]. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/003427.pdf>.
Период
|
Чтение
|
Печать
|
Копирование
|
Открытие
|
Итого
|
Вчера
|
3
|
0
|
0
|
0
|
3
|
Последние 30 дней
|
8
|
0
|
4
|
0
|
12
|
Последние 365 дней
|
32
|
0
|
37
|
0
|
69
|
За все время
|
455
|
0
|
409
|
0
|
864
|