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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
19:10, 14 октября 2020 Выставка кафедр Задачки (миниатюра).png (файл) 180 КБ PodymovVV Осень 2020 1
19:09, 14 октября 2020 Выставка кафедр Информационный лист (миниатюра).png (файл) 331 КБ PodymovVV Осень 2020 1
18:48, 14 октября 2020 Постер кафедры (миниатюра).png (файл) 707 КБ PodymovVV Осень 2020 1
17:59, 14 октября 2020 Постер кафедры.jpg (файл)
Ошибка создания миниатюры: Ошибочный параметр миниатюры
2,05 МБ PodymovVV Осень 2020 1
17:57, 14 октября 2020 Постер кафедры.png (файл)
Ошибка создания миниатюры: Ошибочный параметр миниатюры
3,13 МБ PodymovVV   1
17:51, 14 октября 2020 Выставка кафедр Задачки.pdf (файл) 263 КБ PodymovVV Осень 2020 1
17:28, 14 октября 2020 Постер кафедры.pdf (файл) 1,72 МБ PodymovVV   1
17:37, 6 октября 2020 Seminar Verification 3 eng.pdf (файл) 194 КБ PodymovVV курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский 1
15:59, 22 сентября 2020 Seminar Verification 2 eng.pdf (файл) 224 КБ PodymovVV Английский перевод версии 2019 года (то же без "eng") с косметическими правками 1
23:44, 8 сентября 2020 Seminar Verification 1 eng.pdf (файл) 208 КБ PodymovVV курс методов верификации. осень 2020. семинар по логике хоара на английском 1
11:11, 8 сентября 2020 Lecture Verification 2 eng.pdf (файл) 429 КБ PodymovVV магистерский курс методов верификации, лекция про логику Хоара 1
14:47, 1 июля 2020 Test.txt (файл) 6 байт PodymovVV   5
12:33, 29 ноября 2019 Lecture Verification 10.pdf (файл) 355 КБ PodymovVV обновлён год + мелкие не очень значительные правки. по содержанию всё то же. 6
10:45, 20 ноября 2019 Lecture Verification 9.pdf (файл) 376 КБ PodymovVV 2019. обновил год, остальное то же 7
21:38, 5 ноября 2019 Seminar Verification 8.pdf (файл) 185 КБ PodymovVV 2019. обновил год, остальное то же 5
14:05, 26 октября 2019 Seminar Verification 7.pdf (файл) 841 КБ PodymovVV 2019. Пара мелких визуальных правок 8
14:04, 26 октября 2019 Lecture Verification 7.pdf (файл) 341 КБ PodymovVV 2019. Добавил пару картинок 6
12:30, 14 октября 2019 Seminar Verification 4.pdf (файл) 613 КБ PodymovVV обновил год, наполнение то же 7
09:40, 8 октября 2019 Seminar Verification 3.pdf (файл) 177 КБ PodymovVV поменялся год, остальное как было 6
12:23, 24 сентября 2019 Seminar Verification 2.pdf (файл) 219 КБ PodymovVV осень 2019. перестановка условий, несколько мелких правок 7
17:08, 10 сентября 2019 Seminar Verification 1.pdf (файл) 223 КБ PodymovVV осень 2019, поменял последовательность задач 6
12:29, 6 сентября 2019 Lecture Verification 2.pdf (файл) 446 КБ PodymovVV снова мелкие правки 4
11:22, 15 февраля 2019 LectEng2.pdf (файл) 450 КБ PodymovVV   3
13:58, 11 декабря 2018 Otchet pattern618-2018.zip (файл) 148 КБ PodymovVV поправлен мелкий некритичный баг ("Список литературы") 2
13:57, 11 декабря 2018 Otchet pattern418-2018.zip (файл) 144 КБ PodymovVV поправлен мелкий некритичный баг ("Список литературы") 2
12:19, 28 ноября 2018 Seminar Verification 10.pdf (файл) 478 КБ PodymovVV семинар по uppaal, версия 18-го года (поправлена стилистика) 4
20:38, 7 ноября 2018 Traditional meeting 2018 announcement.pdf (файл) 59 КБ PodymovVV объявление о вечере кафедр 2018 1
22:43, 28 сентября 2018 Seminar Verification 5.pdf (файл) 1,56 МБ PodymovVV   3
20:23, 24 сентября 2018 Paper-33-2018.pdf (файл) 1,98 МБ PodymovVV   1
20:23, 24 сентября 2018 Paper-32-2018.pdf (файл) 254 КБ PodymovVV   1
20:22, 24 сентября 2018 Paper-31-2018.pdf (файл) 181 КБ PodymovVV   1
20:21, 24 сентября 2018 Paper-30-2018.pdf (файл) 443 КБ PodymovVV   1
20:21, 24 сентября 2018 Paper-29-2018.pdf (файл) 288 КБ PodymovVV   1
20:20, 24 сентября 2018 Paper-28-2018.pdf (файл) 745 КБ PodymovVV   1
20:19, 24 сентября 2018 Paper-27-2018.pdf (файл) 187 КБ PodymovVV   1
20:18, 24 сентября 2018 Paper-26-2018.pdf (файл) 170 КБ PodymovVV   1
20:17, 24 сентября 2018 Paper-25-2018.pdf (файл) 440 КБ PodymovVV   1
20:17, 24 сентября 2018 Paper-24-2018.pdf (файл) 283 КБ PodymovVV   1
20:16, 24 сентября 2018 Paper-23-2018.pdf (файл) 2,37 МБ PodymovVV   1
20:12, 24 сентября 2018 Paper-22-2018.pdf (файл) 234 КБ PodymovVV   1
21:04, 27 декабря 2017 Ivdm-kolok17.docx (файл) 15 КБ PodymovVV   12
15:33, 22 декабря 2017 Hdl isa macros.zip (файл) 2 КБ PodymovVV поправлены баги в funct 2
13:45, 4 декабря 2017 Prac 318 algorithms.pdf (файл) 159 КБ PodymovVV практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности 1
13:46, 3 ноября 2017 Hdl sa macros.zip (файл) 2 КБ PodymovVV языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд 1
19:00, 30 октября 2017 Prac 318 labyrinth.pdf (файл) 169 КБ PodymovVV поправлена пара опечаток 4
16:13, 28 сентября 2017 Hdl task part1.pdf (файл) 72 КБ PodymovVV важное уточнение: "процессор" -> "однотактовый процессор" 2
19:46, 11 сентября 2017 Prac-318-git-task-tree.pdf (файл) 14 КБ PodymovVV практикум 318 группы, осенний семестр, дерево коммитов для задания по git 1
15:32, 9 июня 2017 Mllp exam 2017 318.xls (файл) 8 КБ PodymovVV   2
21:16, 23 апреля 2017 Mathlog 318 seminar zfc.pdf (файл) 167 КБ PodymovVV   2
23:20, 21 апреля 2017 Peano axioms.pdf (файл) 107 КБ PodymovVV   3

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