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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
14:26, 17 января 2024 DGDMiK exam info 2023.pdf (файл) 113 КБ SavitskiyIV   1
12:34, 15 января 2024 ОК Слайды лекций Ч4 2023-2.pdf (файл) 353 КБ DanilovB   1
12:34, 15 января 2024 ОК Слайды лекций Ч3 2023-2.pdf (файл) 535 КБ DanilovB   1
23:30, 14 января 2024 Курс ОК-23-2 311-319 График проведения консультаций.pdf (файл) 198 КБ DanilovB   1
22:30, 13 января 2024 Курс ОК-23-2 311-319 Правила.pdf (файл) 200 КБ DanilovB   1
13:27, 18 декабря 2023 Вопросы Сложность алгоритмов 2023.doc (файл) 19 КБ AlekseevVB   1
22:57, 15 декабря 2023 Экзаменационные вопросы.pdf (файл) 201 КБ ZizovVS   1
20:22, 14 декабря 2023 Программа курса Геометрическая реализация графов и схем.pdf (файл) 219 КБ ZizovVS   1
13:49, 11 декабря 2023 Mvk-23-12-15.pdf (файл) 50 КБ SeleznevaSN   1
18:25, 10 декабря 2023 Specsem20231213.pdf (файл) 181 КБ DanilovB   1
11:53, 10 декабря 2023 ДГДМиК ПланСеминаров 2023.pdf (файл) 396 КБ SavitskiyIV   1
11:34, 10 декабря 2023 ДГДМиК Лекции 1-12 2023 Презентация.pdf (файл) 1,89 МБ SavitskiyIV Презентации к лекциям по первым двум частям курса ДГДМиК. 1
11:26, 10 декабря 2023 Программа ДГДМК 2023-2024.pdf (файл) 448 КБ SavitskiyIV   8
20:35, 6 декабря 2023 Mvk-23-12-08.pdf (файл) 40 КБ SeleznevaSN   1
23:25, 5 декабря 2023 Specsem20231206.pdf (файл) 395 КБ DanilovB   1
17:01, 4 декабря 2023 Logic synthesis 2023 exam questions.pdf (файл) 232 КБ ShupletsovMS   1
17:01, 4 декабря 2023 Logic synthesis 2023 exam rules.pdf (файл) 186 КБ ShupletsovMS   1
21:51, 30 ноября 2023 Информационно-управляющие системы.tsv.zip (файл) 5,31 МБ ZizovVS   1
14:26, 30 ноября 2023 Вопросы ВКА 2023.pdf (файл) 81 КБ AlekseevVB   1
14:01, 30 ноября 2023 ВКА 2023.zip (файл) 12 КБ AlekseevVB   1
22:14, 28 ноября 2023 Specsem20231129.pdf (файл) 745 КБ DanilovB   1
18:39, 28 ноября 2023 Mvk-23-12-01.pdf (файл) 40 КБ SeleznevaSN   1
23:04, 17 ноября 2023 Specsem20231122.pdf (файл) 163 КБ RomanovDS   1
20:40, 15 ноября 2023 Mvk-23-11-17.pdf (файл) 45 КБ SeleznevaSN   1
22:14, 6 ноября 2023 Specsem20231108.pdf (файл) 393 КБ DanilovB   1
22:52, 31 октября 2023 Specsem20231101.pdf (файл) 352 КБ DanilovB   1
21:33, 29 октября 2023 ОК Слайды лекций Ч2 2023-2.pdf (файл) 583 КБ DanilovB   1
20:12, 24 октября 2023 Specsem20231024.pdf (файл) 340 КБ DanilovB   1
12:36, 22 октября 2023 MLLP VP lections colloq.pdf (файл) 5,7 МБ PodymovVV 2023-2024 2
17:45, 17 октября 2023 Specsem20231018.pdf (файл) 164 КБ RomanovDS   1
00:19, 10 октября 2023 Specem 231011.pdf (файл) 356 КБ DanilovB   1
22:36, 8 октября 2023 ОК Слайды лекций Ч1 2023-2.pdf (файл) 692 КБ DanilovB   1
22:35, 8 октября 2023 ОК Слайды лекций В 2023-2.pdf (файл) 312 КБ DanilovB   1
16:38, 5 октября 2023 Выставка кафедр Информационный лист.pdf (файл) 1,16 МБ PodymovVV больше qr-кодов! 6
22:53, 3 октября 2023 Specem 241004.pdf (файл) 184 КБ DanilovB   1
13:32, 3 октября 2023 Mvk-23-10-06.pdf (файл) 37 КБ SeleznevaSN   1
00:02, 4 сентября 2023 Курс ОК-23-2 311-319.pdf (файл) 155 КБ DanilovB   1
23:40, 3 сентября 2023 Pbscpp.pdf (файл) 100 КБ ZhukovVV   1
20:51, 20 июня 2023 5 prez.pdf (файл) 626 КБ RomanovDS   2
20:51, 20 июня 2023 4 prez.pdf (файл) 741 КБ RomanovDS   2
20:51, 20 июня 2023 3 prez.pdf (файл) 6,12 МБ RomanovDS   2
20:50, 20 июня 2023 2 prez.pdf (файл) 12,45 МБ RomanovDS   2
20:50, 20 июня 2023 1 prez.pdf (файл) 5,51 МБ RomanovDS   2
18:58, 31 мая 2023 MMMSBIS 2023.pdf (файл) 112 КБ ShupletsovMS   1
10:57, 16 мая 2023 Mvk-23-05-19.pdf (файл) 39 КБ SeleznevaSN   1
20:01, 10 мая 2023 Mvk-23-05-12.pdf (файл) 51 КБ SeleznevaSN   1
18:54, 8 мая 2023 Mathlog 318 b53.pdf (файл) 192 КБ PodymovVV Математическая логика для 318, блок 53. Алгоритм model checking для ctl 1
18:54, 8 мая 2023 Mathlog 318 b52.pdf (файл) 153 КБ PodymovVV Математическая логика для 318, блок 52. Темпоральные формулы как спецификации 1
18:53, 8 мая 2023 Mathlog 318 b51.pdf (файл) 116 КБ PodymovVV Математическая логика для 318, блок 51. Системы переходов 1
18:53, 8 мая 2023 Mathlog 318 b50.pdf (файл) 133 КБ PodymovVV Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking 1

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