Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 19:10, 14 октября 2020 | Выставка кафедр Задачки (миниатюра).png (файл) | .png) |
180 КБ | PodymovVV | Осень 2020 | 1 |
| 19:09, 14 октября 2020 | Выставка кафедр Информационный лист (миниатюра).png (файл) | .png) |
331 КБ | PodymovVV | Осень 2020 | 1 |
| 18:48, 14 октября 2020 | Постер кафедры (миниатюра).png (файл) | .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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
