Файл:Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование!.jpg
Материал из 0x1.tv
Размер при предпросмотре: 800 × 545 пикселей. Другие разрешения: 320 × 218 пикселей | 1154 × 786 пикселей.
Исходный файл (1154 × 786 пикселей, размер файла: 98 КБ, MIME-тип: image/jpeg)
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 15:17, 27 декабря 2019 | | 1154 × 786 (98 КБ) | StasFomin (обсуждение | вклад) |
- Вы не можете перезаписать этот файл.
Использование файла
Следующая 1 страница ссылается на данный файл:
