Введение в язык формальной верификации Coq. Лекция 1
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Антон Трунов Курс лекций: Введение в язык формальной верификации Coq Embedded video for...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Антон Трунов Курс лекций: Введение в язык формальной верификации Coq Embedded video for...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Елена Арсеньева Курс лекций: Структуры данных, основанные на указателях Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Елена Арсеньева Курс лекций: Структуры данных, основанные на указателях Embedded...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Антон Трунов Курс лекций: Введение в язык формальной верификации Coq Embedded video for...
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Андрей Бреслав Курс лекций: Конференция JPoint 2013 Embedded video for Type-safe Web with Kotlin
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Аня Барски Курс лекций: Конференция JPoint 2013 Embedded video for Java Life Story
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Андрей Паньгин Курс лекций: Конференция JPoint 2013 Embedded video for Java Runtime: повседневные обязанности...
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Владимир Долженко Курс лекций: Конференция JPoint 2013 Embedded video for GC: друг или враг?
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Александр Макаров Курс лекций: Конференция JPoint 2013 Embedded video for Исследование возможностей и ограничений...
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Шура Ильин Курс лекций: Конференция JPoint 2013 Embedded video for Type annotations in Java...
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Андрей Солнцев Курс лекций: Конференция JPoint 2013 Embedded video for Eclipse vs Intellij IDEA
Партнёр: Сообщество JUG.ru Предмет: Software Engineering Лектор:Дмитрий Завалишин Курс лекций: Конференция JPoint 2013 Embedded video for Конвертер байткода JVM для...
Партнёр: KL10TCH Предмет: Software Engineering Лектор:Александр Ромашов Embedded video for 3D моделирование в GameDev
Партнёр: Сообщество CodeFreeze Предмет: Software Engineering Лектор:Дмитрий Сатин Embedded video for Человекоориентированное проектирование
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Елена Арсеньева Курс лекций: Структуры данных, основанные на указателях Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Елена Арсеньева Курс лекций: Структуры данных, основанные на указателях Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Елена Арсеньева Курс лекций: Структуры данных, основанные на указателях Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science, Математика Лектор:Даниил Рогозин Курс лекций: Введение в модальную логику Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science, Математика Лектор:Даниил Рогозин Курс лекций: Введение в модальную логику Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science, Математика Лектор:Даниил Рогозин Курс лекций: Введение в модальную логику Embedded...
1. Изображения. Изображение должно быть вставлено в отдельную строку в этой строке не должно быть текста. Размер изображения не должен превышать? Формат jpg.
2. Таблицы и списки. Таблицы должны помещаться на одну страницу. Вложенные списки таблиц и объединенные ячейки не принимаются системой.
3. Пунктуация текста. Система не принимает сложного форматирования - стилей, сносок, колонтитулов, спец. символов, табуляций и т.д. Заголовки должны быть жирным шрифтом и начинаться с новой строки.
4. Форматы файлов. Принимаются форматы TXT, DOCX, EPUB, FB2. Ограничения по размеру файла - 3 Мб.