Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 00:49, 6 февраля 2024 | Dm1-1-s.pdf (файл) |  |
27 КБ | SeleznevaSN | 6 | |
| 11:01, 22 января 2024 | Verif VP all.pdf (файл) | |
7,15 МБ | PodymovVV | 2023-2024 | 2 |
| 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 | |
| 16:58, 6 января 2024 | MLLP VP all.pdf (файл) | |
10,77 МБ | PodymovVV | для экзамена 2023-2024 | 2 |
| 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 | |
| 16:33, 12 декабря 2023 | MLLP VP 58.pdf (файл) | |
206 КБ | PodymovVV | опечатки | 4 |
| 16:33, 12 декабря 2023 | MLLP VP 57.pdf (файл) | |
181 КБ | PodymovVV | опечатки | 4 |
| 16:33, 12 декабря 2023 | MLLP VP 56.pdf (файл) | |
188 КБ | PodymovVV | опечатки | 4 |
| 16:26, 12 декабря 2023 | Verif VP 40.pdf (файл) | |
158 КБ | PodymovVV | опечатки | 2 |
| 16:26, 12 декабря 2023 | Verif VP 38.pdf (файл) | |
166 КБ | PodymovVV | опечатки | 2 |
| 14:32, 12 декабря 2023 | HDL VP 24.pdf (файл) | |
213 КБ | PodymovVV | 2 | |
| 13:49, 11 декабря 2023 | Mvk-23-12-15.pdf (файл) | |
50 КБ | SeleznevaSN | 1 | |
| 10:03, 11 декабря 2023 | Verif VP 39.pdf (файл) | |
128 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 39. sat | 1 |
| 10:01, 11 декабря 2023 | Verif VP 37.pdf (файл) | |
157 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 37. абстракция и редукция | 1 |
| 10:01, 11 декабря 2023 | Verif VP 36.pdf (файл) | |
153 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв | 1 |
| 10:00, 11 декабря 2023 | Verif VP 35.pdf (файл) | |
247 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция | 1 |
| 09:59, 11 декабря 2023 | Verif VP 34.pdf (файл) | |
248 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов | 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 | |
| 13:09, 7 декабря 2023 | HDL VP R06.pdf (файл) | |
197 КБ | PodymovVV | исправлен | 2 |
| 13:08, 7 декабря 2023 | HDL VP 17.pdf (файл) | |
97 КБ | PodymovVV | Важное уточнение синтаксиса констант | 3 |
| 20:35, 6 декабря 2023 | Mvk-23-12-08.pdf (файл) | |
40 КБ | SeleznevaSN | 1 | |
| 23:25, 5 декабря 2023 | Specsem20231206.pdf (файл) | |
395 КБ | DanilovB | 1 | |
| 19:22, 4 декабря 2023 | MLLP VP 54.pdf (файл) | |
257 КБ | PodymovVV | опечатки | 5 |
| 19:22, 4 декабря 2023 | MLLP VP 53.pdf (файл) | |
203 КБ | PodymovVV | опечатки | 6 |
| 19:22, 4 декабря 2023 | MLLP VP 52.pdf (файл) | |
95 КБ | PodymovVV | опечатки | 3 |
| 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 | |
| 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
