Verifying Specifications with Proof Scores in CafeOBJ
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Kokichi Futatsugi Конференция: Computer Science семинар (Весна 2012) Embedded video...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Kokichi Futatsugi Конференция: Computer Science семинар (Весна 2012) Embedded video...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Андрей Ромащенко Курс лекций: Теория кодирования Embedded video for Теория...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Андрей Ромащенко Курс лекций: Теория кодирования Embedded video for Теория...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Андрей Ромащенко Курс лекций: Теория кодирования Embedded video for Теория...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Александр Куликов Курс лекций: Алгоритмы и структуры данных. II семестр Embedded video for...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Михаил Дворкин Курс лекций: Алгоритмы и структуры данных. II семестр Embedded video for...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Владимир Ицыксон Курс лекций: Основы программной инженерии Embedded video for Основы программной инженерии....
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Евгений Калишенко Курс лекций: Параллельное программирование Embedded video for Параллельное программирование. Лекция 8
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Евгений Линский Курс лекций: Основы C++. II семестр Embedded video for Основы C++,...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Игорь Кураленок Курс лекций: Машинное обучение (2012) Embedded video for Машинное обучение. Лекция...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Наталья Васильева Конференция: Computer Science семинар (Весна 2012) Embedded video...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Александр Куликов Курс лекций: Алгоритмы и структуры данных. II семестр Embedded video for...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Михаил Дворкин Курс лекций: Алгоритмы и структуры данных. II семестр Embedded video for...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Владимир Ицыксон Курс лекций: Основы программной инженерии Embedded video for Основы программной инженерии....
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Евгений Калишенко Курс лекций: Параллельное программирование Embedded video for Параллельное программирование. Лекция 10
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Евгений Калишенко Курс лекций: Параллельное программирование Embedded video for Параллельное программирование. Лекция 9
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Евгений Линский Курс лекций: Основы C++. II семестр Embedded video for Основы C++,...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Игорь Кураленок Курс лекций: Машинное обучение (2012) Embedded video for Машинное обучение. Лекция...
Партнёр: Европейский университет в Санкт-Петербурге Предмет: Computer Science, Социология Лектор:Ирина Никифорова Embedded video for Социальные процессы связанные c присвоением премии...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Александр Кубенский Курс лекций: Функциональное программирование Embedded video for Функциональное программирование. Лекция 7
1. Изображения. Изображение должно быть вставлено в отдельную строку в этой строке не должно быть текста. Размер изображения не должен превышать? Формат jpg.
2. Таблицы и списки. Таблицы должны помещаться на одну страницу. Вложенные списки таблиц и объединенные ячейки не принимаются системой.
3. Пунктуация текста. Система не принимает сложного форматирования - стилей, сносок, колонтитулов, спец. символов, табуляций и т.д. Заголовки должны быть жирным шрифтом и начинаться с новой строки.
4. Форматы файлов. Принимаются форматы TXT, DOCX, EPUB, FB2. Ограничения по размеру файла - 3 Мб.