Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
10:01, 31 октября 2020 | Lec7pbs.pdf (файл) | 295 КБ | KonovodovV | 2 | ||
18:02, 29 октября 2020 | Specem 201030.pdf (файл) | 635 КБ | DanilovB | 2 | ||
18:28, 20 октября 2020 | Seminar Verification 5 eng.pdf (файл) | 1,54 МБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv) | 1 | |
14:19, 20 октября 2020 | Lecture Verification 7 eng.pdf (файл) | 357 КБ | PodymovVV | Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl | 1 | |
16:08, 19 октября 2020 | Seminar Verification 4 eng.pdf (файл) | 599 КБ | PodymovVV | 2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV) | 1 | |
00:21, 15 октября 2020 | Программа ДГДМК 2020-2021.pdf (файл) | 298 КБ | DanilovB | 1 | ||
23:30, 14 октября 2020 | Specem 201016.pdf (файл) | 646 КБ | DanilovB | 1 | ||
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 | ||
20:33, 10 октября 2020 | Lecture pbscpp 6 2020.pdf (файл) | 305 КБ | KonovodovV | 1 | ||
01:42, 8 октября 2020 | Specem 201008.pdf (файл) | 640 КБ | DanilovB | 1 | ||
21:14, 6 октября 2020 | Lecture pbscpp 5 2020.pdf (файл) | 829 КБ | KonovodovV | 1 | ||
17:37, 6 октября 2020 | Seminar Verification 3 eng.pdf (файл) | 194 КБ | PodymovVV | курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский | 1 | |
12:57, 27 сентября 2020 | Lecture Verification 4 eng.pdf (файл) | 770 КБ | ZakharovVA | 1 | ||
12:53, 27 сентября 2020 | Lecture Verification 3 eng.pdf (файл) | 1,54 МБ | ZakharovVA | 1 | ||
22:21, 26 сентября 2020 | Lecture pbscpp 4 2020.pdf (файл) | 301 КБ | KonovodovV | 2 | ||
15:59, 22 сентября 2020 | Seminar Verification 2 eng.pdf (файл) | 224 КБ | PodymovVV | Английский перевод версии 2019 года (то же без "eng") с косметическими правками | 1 | |
12:09, 19 сентября 2020 | Lecture pbscpp 3 2020.pdf (файл) | 268 КБ | KonovodovV | 1 | ||
10:35, 12 сентября 2020 | Lecture pbscpp 2 2020.pdf (файл) | 268 КБ | KonovodovV | 1 | ||
17:05, 11 сентября 2020 | Dm2v3.pdf (файл) | 15 КБ | Emergency User | Возврат к версии от 07:47, 4 июля 2020 | 9 | |
17:05, 11 сентября 2020 | Dm2v2.pdf (файл) | 15 КБ | Emergency User | Возврат к версии от 07:47, 4 июля 2020 | 8 | |
17:04, 11 сентября 2020 | Dm2v1.pdf (файл) | 15 КБ | Emergency User | Возврат к версии от 07:48, 4 июля 2020 | 8 | |
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 | |
10:17, 5 сентября 2020 | Lecture pbscpp 1 2020.pdf (файл) | 238 КБ | KonovodovV | 1 | ||
14:39, 29 августа 2020 | LectLog 2.pdf (файл) | 531 КБ | ZakharovVA | 2 | ||
15:15, 28 августа 2020 | Lecture Verification 1 eng.pdf (файл) | 702 КБ | ZakharovVA | 1 | ||
10:47, 4 июля 2020 | Dm2v4.pdf (файл) | 15 КБ | Emergency User | Возврат к версии от 06:46, 2 июля 2020 | 5 | |
10:47, 4 июля 2020 | Dm2v5.pdf (файл) | 15 КБ | Emergency User | Возврат к версии от 06:46, 2 июля 2020 | 6 | |
14:47, 1 июля 2020 | Test.txt (файл) | 6 байт | PodymovVV | 5 | ||
23:07, 30 июня 2020 | Dm2v7.pdf (файл) | 15 КБ | Emergency User | 1 | ||
23:07, 30 июня 2020 | Dm2v6.pdf (файл) | 15 КБ | Emergency User | 1 | ||
22:49, 30 июня 2020 | Dm3.pdf (файл) | 15 КБ | Emergency User | 1 | ||
10:39, 29 июня 2020 | Var8.pdf (файл) | 11 КБ | SavitskiyIV | 6 | ||
10:39, 29 июня 2020 | Var7.pdf (файл) | 11 КБ | SavitskiyIV | 4 | ||
10:39, 29 июня 2020 | Var6.pdf (файл) | 11 КБ | SavitskiyIV | 9 | ||
10:39, 29 июня 2020 | Var5.pdf (файл) | 11 КБ | SavitskiyIV | 8 | ||
10:39, 29 июня 2020 | Var4.pdf (файл) | 11 КБ | SavitskiyIV | 8 | ||
10:38, 29 июня 2020 | Var3.pdf (файл) | 11 КБ | SavitskiyIV | 8 | ||
10:38, 29 июня 2020 | Var2.pdf (файл) | 11 КБ | SavitskiyIV | 8 | ||
10:38, 29 июня 2020 | Var1.pdf (файл) | 11 КБ | SavitskiyIV | 9 | ||
19:06, 23 июня 2020 | Оценки по ОК 2020 3 3 .xlsx (файл) | 21 КБ | RomanovDS | 2 | ||
19:15, 22 июня 2020 | Оценки по ОК 2020 3 3.xlsx (файл) | 21 КБ | RomanovDS | 1 | ||
10:32, 22 июня 2020 | Example-dm1-exam.pdf (файл) | 93 КБ | SeleznevaSN | 3 | ||
17:21, 19 июня 2020 | Ссылка на общую папку.docx (файл) | 10 КБ | RomanovDS | 1 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |