Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
17:01, 4 декабря 2023 | Logic synthesis 2023 exam rules.pdf (файл) | 186 КБ | ShupletsovMS | 1 | ||
10:34, 4 декабря 2023 | Verif VP Prac Uppaal.pdf (файл) | 457 КБ | PodymovVV | 2023-2024, без существенных изменений | 3 | |
20:30, 3 декабря 2023 | MLLP VP 55.pdf (файл) | 130 КБ | PodymovVV | русифицировал главный термин | 3 | |
12:30, 3 декабря 2023 | Verif VP 33.pdf (файл) | 158 КБ | PodymovVV | Методы верификации программ, 2023-2024. Сети временных автоматов | 1 | |
12:29, 3 декабря 2023 | Verif VP 32.pdf (файл) | 163 КБ | PodymovVV | 2023-2024. Теперь тут TCTL | 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 | ||
11:30, 28 ноября 2023 | Verif VP 29.pdf (файл) | 131 КБ | PodymovVV | опечатки | 4 | |
11:30, 28 ноября 2023 | Verif VP 28.pdf (файл) | 146 КБ | PodymovVV | опечатки | 3 | |
20:14, 26 ноября 2023 | MLLP VP 51.pdf (файл) | 164 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 | |
20:13, 26 ноября 2023 | MLLP VP 50.pdf (файл) | 116 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 | |
20:13, 26 ноября 2023 | MLLP VP 49.pdf (файл) | 109 КБ | PodymovVV | 2023-2024. без существенных изменений | 4 | |
20:13, 26 ноября 2023 | MLLP VP 48.pdf (файл) | 169 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 | |
17:25, 26 ноября 2023 | Verif VP 31.pdf (файл) | 124 КБ | PodymovVV | 2023-2024. теперь здесь про неправдоподобные вычисления временных автоматов | 3 | |
17:25, 26 ноября 2023 | Verif VP 30.pdf (файл) | 161 КБ | PodymovVV | 2023-2024. теперь здесь про срв и временные автоматы | 3 | |
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 | |
19:18, 24 ноября 2023 | Verif VP Review Nusmv.pdf (файл) | 427 КБ | PodymovVV | опечатки | 4 | |
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 | |
15:00, 19 ноября 2023 | Verif VP Prac Nusmv.pdf (файл) | 1,46 МБ | PodymovVV | 2023-2024, без существенных изменений | 2 | |
23:04, 17 ноября 2023 | Specsem20231122.pdf (файл) | 163 КБ | RomanovDS | 1 | ||
20:40, 15 ноября 2023 | Mvk-23-11-17.pdf (файл) | 45 КБ | SeleznevaSN | 1 | ||
19:51, 13 ноября 2023 | MLLP VP 46.pdf (файл) | 166 КБ | PodymovVV | исправлены недочёты в одном доказательстве | 3 | |
19:50, 13 ноября 2023 | Verif VP sem03.pdf (файл) | 117 КБ | PodymovVV | опечатки | 3 | |
15:50, 9 ноября 2023 | MLLP VP 47.pdf (файл) | 159 КБ | PodymovVV | 2023-2024. без существенных изменений | 4 | |
15:48, 9 ноября 2023 | MLLP VP 45.pdf (файл) | 168 КБ | PodymovVV | опечатки | 3 | |
20:27, 7 ноября 2023 | HDL VP 31.pdf (файл) | 145 КБ | PodymovVV | опечатки | 2 | |
20:27, 7 ноября 2023 | HDL VP 29.pdf (файл) | 125 КБ | PodymovVV | опечатки | 2 | |
13:04, 7 ноября 2023 | HDL VP 30.pdf (файл) | 122 КБ | PodymovVV | поправлен (улучшен) рисунок | 2 | |
12:27, 7 ноября 2023 | HDL VP s05.pdf (файл) | 144 КБ | PodymovVV | языки описания схем. практика: операционный и управляющий автоматы в верилоге | 1 | |
22:14, 6 ноября 2023 | Specsem20231108.pdf (файл) | 393 КБ | DanilovB | 1 | ||
11:44, 2 ноября 2023 | HDL VP 28.pdf (файл) | 205 КБ | PodymovVV | опечатки | 2 | |
11:44, 2 ноября 2023 | HDL VP 27.pdf (файл) | 175 КБ | PodymovVV | опечатки | 2 | |
11:41, 2 ноября 2023 | MLLP VP 44.pdf (файл) | 138 КБ | PodymovVV | 2023-2024, без существенных изменений | 2 | |
20:10, 1 ноября 2023 | MLLP VP 42.pdf (файл) | 147 КБ | PodymovVV | опечатки | 3 | |
20:10, 1 ноября 2023 | MLLP VP 41.pdf (файл) | 135 КБ | PodymovVV | опечатки | 3 | |
20:10, 1 ноября 2023 | MLLP VP 40.pdf (файл) | 162 КБ | PodymovVV | опечатки | 4 | |
20:10, 1 ноября 2023 | MLLP VP 38.pdf (файл) | 193 КБ | PodymovVV | опечатки | 4 | |
20:10, 1 ноября 2023 | MLLP VP 37.pdf (файл) | 184 КБ | PodymovVV | опечатки | 3 | |
22:52, 31 октября 2023 | Specsem20231101.pdf (файл) | 352 КБ | DanilovB | 1 | ||
13:18, 31 октября 2023 | HDL VP s04.pdf (файл) | 155 КБ | PodymovVV | языки описания схем 2023-2024. упражнения по символьным автоматам | 1 | |
21:33, 29 октября 2023 | ОК Слайды лекций Ч2 2023-2.pdf (файл) | 583 КБ | DanilovB | 1 | ||
17:43, 29 октября 2023 | MLLP VP 43.pdf (файл) | 200 КБ | PodymovVV | 2023-2024. без существенных изменений | 3 | |
17:40, 29 октября 2023 | MLLP VP 39.pdf (файл) | 168 КБ | PodymovVV | 2023-2024. без существенных изменений | 3 | |
17:33, 29 октября 2023 | Verif VP 27.pdf (файл) | 156 КБ | PodymovVV | 2023-2024. теперь тут про преобразователи предикатов и неподвижные точки | 2 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |