Партнёр:
- Computer Science клуб при ПОМИ РАН
Предмет:
- Computer Science
Лектор:Арист Кожевников
Курс лекций: О современных методах автоматической формальной верификации аппаратного обеспечения
Партнёр:
Предмет:
Лектор:Арист Кожевников
Курс лекций: О современных методах автоматической формальной верификации аппаратного обеспечения
1. Изображения. Изображение должно быть вставлено в отдельную строку в этой строке не должно быть текста. Размер изображения не должен превышать? Формат jpg.
2. Таблицы и списки. Таблицы должны помещаться на одну страницу. Вложенные списки таблиц и объединенные ячейки не принимаются системой.
3. Пунктуация текста. Система не принимает сложного форматирования - стилей, сносок, колонтитулов, спец. символов, табуляций и т.д. Заголовки должны быть жирным шрифтом и начинаться с новой строки.
4. Форматы файлов. Принимаются форматы TXT, DOCX, EPUB, FB2. Ограничения по размеру файла - 3 Мб.