Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 17:01, 4 декабря 2023 | Logic synthesis 2023 exam rules.pdf (файл) |  |
186 КБ | ShupletsovMS | 1 | |
| 20:30, 3 декабря 2023 | MLLP VP 55.pdf (файл) | |
130 КБ | PodymovVV | русифицировал главный термин | 3 |
| 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 | |
| 20:14, 26 ноября 2023 | MLLP VP 51.pdf (файл) | |
164 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 |
| 14:30, 25 ноября 2023 | HDL VP R03.pdf (файл) | |
174 КБ | PodymovVV | опечатки | 2 |
| 14:29, 25 ноября 2023 | HDL VP R02.pdf (файл) | |
227 КБ | PodymovVV | опечатки | 2 |
| 14:29, 25 ноября 2023 | HDL VP R01.pdf (файл) | |
171 КБ | PodymovVV | опечатки | 2 |
| 15:05, 19 ноября 2023 | HDL VP R05.pdf (файл) | |
163 КБ | PodymovVV | языки описания схем. 2023-2024. кое-что ещё 5: эспиай для двух устройств | 1 |
| 15:05, 19 ноября 2023 | HDL VP R04.pdf (файл) | |
77 КБ | PodymovVV | языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных | 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 |
| 18:51, 8 мая 2023 | Mathlog 318 b49.pdf (файл) | |
254 КБ | PodymovVV | перекинул один слайд в 48 | 2 |
| 11:44, 2 мая 2023 | DAS VP 43.pdf (файл) | |
131 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos | 1 |
| 11:44, 2 мая 2023 | DAS VP 42.pdf (файл) | |
88 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса | 1 |
| 11:42, 2 мая 2023 | DAS VP 41.pdf (файл) | |
77 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения | 1 |
| 23:51, 25 апреля 2023 | DAS VP 33.pdf (файл) | |
213 КБ | PodymovVV | опечатка | 6 |
| 18:53, 25 апреля 2023 | DAS VP 39.pdf (файл) | |
127 КБ | PodymovVV | опечатка | 2 |
| 18:51, 25 апреля 2023 | DAS VP 38.pdf (файл) | |
127 КБ | PodymovVV | была ошибка в обосновании корректности | 2 |
| 12:47, 25 апреля 2023 | Mvk-23-04-28.pdf (файл) | |
30 КБ | SeleznevaSN | 1 | |
| 22:57, 24 апреля 2023 | DAS VP 40.pdf (файл) | |
108 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 40. Обнаружение завершения вычислений: алгоритм возвращения кредита | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
