Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

Список файлов
Записей на страницу:
Поиск по имени файла:
Имя участника:
Включить старые версии изображений

Дата Имя файла Миниатюра возрРазмер Участник Описание Версий
14:47, 1 июля 2020 Test.txt (файл) 6 байт PodymovVV   5
02:01, 15 декабря 2016 Prac318 Autumn 2016 howto bdd buddy.zip (файл) 2 КБ PodymovVV для практикума на 3 курсе: как работать с bdd, библиотека BuDDy 1
15:33, 22 декабря 2017 Hdl isa macros.zip (файл) 2 КБ PodymovVV поправлены баги в funct 2
13:46, 3 ноября 2017 Hdl sa macros.zip (файл) 2 КБ PodymovVV языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд 1
03:15, 15 декабря 2016 Prac318 Autumn 2016 howto regular expressions boost regex.zip (файл) 3 КБ PodymovVV для практикума 318 группы: как работать с регулярными выражениями в c++ 1
20:10, 26 ноября 2022 Verif VP Prac Uppaal.zip (файл) 4 КБ PodymovVV Методы верификации (618, 621). Доп. материалы к задачам по Uppaal 1
15:55, 7 декабря 2016 Seminar Verification 10 errors.zip (файл) 4 КБ PodymovVV математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal 1
15:32, 9 июня 2017 Mllp exam 2017 318.xls (файл) 8 КБ PodymovVV   2
22:13, 15 апреля 2017 Mathlog 318 241 test results.xls (файл) 9 КБ PodymovVV результаты контрольной работы по матлогике, группы 318 и 241 1
14:55, 4 апреля 2016 Mllp test 2016.xls (файл) 9 КБ PodymovVV группа 318, результаты контрольной по мат.логике, 2016 1
23:24, 10 июня 2016 Mllp 318 exam 2016.xls (файл) 9 КБ PodymovVV   3
20:18, 11 мая 2022 Курсовая работа - титульный лист.doc (файл) 12 КБ PodymovVV Титульный лист курсовой работы 2022 1
23:59, 9 декабря 2015 Мофп подловченко вопросы 2015.docx (файл) 12 КБ PodymovVV Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г. 1
15:40, 29 апреля 2015 Mllp 318 test 2015 results.docx (файл) 13 КБ PodymovVV 318 группа, результаты контрольной по мат.лог. и лог.прог. 1
19:46, 11 сентября 2017 Prac-318-git-task-tree.pdf (файл) 14 КБ PodymovVV практикум 318 группы, осенний семестр, дерево коммитов для задания по git 1
21:04, 27 декабря 2017 Ivdm-kolok17.docx (файл) 15 КБ PodymovVV   12
09:38, 7 ноября 2016 P7.pdf (файл) 20 КБ PodymovVV расположение аудитории П-7 1
21:01, 13 февраля 2017 SecondExamVerification-2016-2017.pdf (файл) 27 КБ PodymovVV результаты пересдачи по курсу мат.методов верификации схем и программ 1
20:17, 11 мая 2022 Курсовая работа - требования.pdf (файл) 28 КБ PodymovVV Требования к курсовой работе 2022 1
20:44, 17 мая 2021 Requirements-kurs-2021.zip (файл) 29 КБ PodymovVV   1
03:22, 2 декабря 2015 Podymov.jpg (файл) 38 КБ PodymovVV   1
18:58, 17 октября 2016 Mipsfpga seminar 2016 program.xls (файл) 38 КБ PodymovVV   2
16:43, 13 ноября 2016 Prac 618 2 Dataflows.pdf (файл) 50 КБ PodymovVV практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций 1
13:44, 17 марта 2024 DA VP S05.pdf (файл) 52 КБ PodymovVV распределённые алгоритмы, весна 2023-2024, семинар 5 1
20:38, 7 ноября 2018 Traditional meeting 2018 announcement.pdf (файл) 59 КБ PodymovVV объявление о вечере кафедр 2018 1
11:32, 4 марта 2024 DA VP 15.pdf (файл) 61 КБ PodymovVV распределённые алгоритмы, весна 2023-2024, блок 15 1
11:33, 4 марта 2024 DA VP 16.pdf (файл) 62 КБ PodymovVV распределённые алгоритмы, весна 2023-2024, блок 16 1
19:25, 14 марта 2023 DAS VP 15.pdf (файл) 62 КБ PodymovVV опечатки 2
18:28, 12 февраля 2024 DA VP 01.pdf (файл) 64 КБ PodymovVV опечатки 2
23:14, 31 марта 2024 DA VP 28.pdf (файл) 64 КБ PodymovVV распределённые алгоритмы, 2023-2024, блок 28 1
13:05, 9 февраля 2023 DAS VP 01.pdf (файл) 66 КБ PodymovVV незначительные правки 2
17:58, 14 апреля 2022 DSA2022.pdf (файл) 69 КБ PodymovVV Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022 1
12:24, 1 апреля 2024 VKR requirements.pdf (файл) 69 КБ PodymovVV требования к выпускной работе 418 1
10:25, 2 октября 2023 Verif VP 20.pdf (файл) 70 КБ PodymovVV 2023-2024. теперь уточненная схема автоматного алгоритма для лтл 3
22:46, 7 апреля 2024 DA VP 36.pdf (файл) 70 КБ PodymovVV опечатки 2
17:35, 10 сентября 2023 Verif VP 07.pdf (файл) 70 КБ PodymovVV 2023-2024. Теперь тут общая схема метода модел чекин 6
12:24, 1 апреля 2024 MD requirements.pdf (файл) 71 КБ PodymovVV требования к магистерской диссертации 618 1
14:15, 23 марта 2023 Требования к МД 618.pdf (файл) 72 КБ PodymovVV 2023 2
16:13, 28 сентября 2017 Hdl task part1.pdf (файл) 72 КБ PodymovVV важное уточнение: "процессор" -> "однотактовый процессор" 2
14:15, 23 марта 2023 Требования к ВКР 418.pdf (файл) 72 КБ PodymovVV 2023 2
17:32, 12 марта 2023 Proseminar 2023.03.07 annotation.pdf (файл) 73 КБ PodymovVV Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции). 1
20:40, 21 февраля 2023 DAS VP 08.pdf (файл) 75 КБ PodymovVV Исправлены опечатки 2
11:42, 2 мая 2023 DAS VP 41.pdf (файл) 77 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения 1
15:05, 19 ноября 2023 HDL VP R04.pdf (файл) 77 КБ PodymovVV языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных 1
22:33, 11 сентября 2023 HDL VP 07.pdf (файл) 80 КБ PodymovVV Языки описания схем, 2023-2024. Терминология для сигналов 1
10:40, 12 февраля 2024 DA VP 03.pdf (файл) 85 КБ PodymovVV Распределённые алгоритмы, 521, весна 2023-2024, блок 3 1
17:46, 10 сентября 2023 MLLP VP 05.pdf (файл) 85 КБ PodymovVV 2023-2024. Без существенных изменений 3
10:18, 13 февраля 2024 Mathlog 318 b5.pdf (файл) 86 КБ PodymovVV весна 2023-2024, без существенных изменений 7
22:39, 7 апреля 2024 DA VP 33.pdf (файл) 87 КБ PodymovVV опечатки 2
11:32, 4 марта 2024 DA VP 14.pdf (файл) 87 КБ PodymovVV распределённые алгоритмы, весна 2023-2024, блок 14 1

Первая страница
Первая страница
Последняя страница
Последняя страница