Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 23:24, 17 марта 2021 | Specem 210319.pdf (файл) |  |
648 КБ | DanilovB | 2 | |
| 12:41, 12 марта 2021 | Specem 210312.pdf (файл) | |
636 КБ | DanilovB | 1 | |
| 22:50, 11 марта 2021 | Popkov KA 2019 Poln diag obr ili zamyk.pdf (файл) | |
515 КБ | RomanovDS | 1 | |
| 18:14, 4 марта 2021 | Specem 210305.pdf (файл) | |
645 КБ | DanilovB | 1 | |
| 22:02, 1 марта 2021 | Курс ЭТДУС-21-1 318.pdf (файл) | |
112 КБ | DanilovB | 1 | |
| 18:42, 25 февраля 2021 | Specem 210226.pdf (файл) | |
638 КБ | DanilovB | 1 | |
| 18:37, 29 января 2021 | Up-dsa-mk.pdf (файл) | |
54 КБ | SeleznevaSN | 1 | |
| 18:17, 3 января 2021 | Mk-2019-418.jpg (файл) |  |
69 КБ | SeleznevaSN | 2 | |
| 18:10, 3 января 2021 | Mk-2019-618.jpg (файл) |  |
63 КБ | SeleznevaSN | 1 | |
| 19:05, 20 декабря 2020 | Pbscpp content2020.pdf (файл) | |
109 КБ | KonovodovV | 2 | |
| 17:31, 19 декабря 2020 | Lecture pbscpp 13 2020.pdf (файл) | |
502 КБ | KonovodovV | 1 | |
| 11:01, 17 декабря 2020 | Hdl lecture aux 05.pdf (файл) | |
312 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 11:01, 17 декабря 2020 | Hdl lecture aux 04.pdf (файл) | |
225 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 11:00, 17 декабря 2020 | Hdl lecture aux 03.pdf (файл) | |
125 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 11:00, 17 декабря 2020 | Hdl lecture aux 02.pdf (файл) | |
295 КБ | PodymovVV | поправлена одна незначительная опечатка | 3 |
| 20:46, 16 декабря 2020 | Dgdmcyb-part3-inf.pdf (файл) | |
264 КБ | DanilovB | 1 | |
| 12:00, 12 декабря 2020 | Lecture pbscpp 12 2020.pdf (файл) | |
303 КБ | KonovodovV | 1 | |
| 13:36, 11 декабря 2020 | Logic synthesis 2020 exam questions.pdf (файл) | |
134 КБ | ShupletsovMS | 1 | |
| 13:35, 11 декабря 2020 | Logic synthesis 2020 exam rules.pdf (файл) | |
95 КБ | ShupletsovMS | 1 | |
| 22:43, 9 декабря 2020 | Specsem 201211.pdf (файл) | |
636 КБ | DanilovB | 1 | |
| 18:50, 9 декабря 2020 | Hdl lecture aux 01.pdf (файл) | |
252 КБ | PodymovVV | 3 | |
| 15:29, 9 декабря 2020 | ДГДМиК Слайды лекций 2020-2.pdf (файл) | |
1,18 МБ | DanilovB | 2 | |
| 16:30, 2 декабря 2020 | Specsem 201204.pdf (файл) | |
631 КБ | DanilovB | 1 | |
| 22:11, 1 декабря 2020 | Seminar Verification 10 eng.pdf (файл) | |
521 КБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара по UPPAAL | 1 |
| 14:45, 1 декабря 2020 | Lecture Verification 10 eng.pdf (файл) | |
370 КБ | PodymovVV | курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов | 1 |
| 16:41, 29 ноября 2020 | Курс ОК-20-2 311-319.pdf (файл) | |
214 КБ | DanilovB | 3 | |
| 10:17, 28 ноября 2020 | Lecture pbscpp 11 2020.pdf (файл) | |
174 КБ | KonovodovV | 1 | |
| 11:01, 26 ноября 2020 | Specsem 201127.pdf (файл) | |
634 КБ | DanilovB | 2 | |
| 20:49, 25 ноября 2020 | 2020 11 27 Popkov KA.docx (файл) |  |
12 КБ | RomanovDS | 1 | |
| 11:57, 25 ноября 2020 | ВКА 2020.docx (файл) | |
17 КБ | AlekseevVB | 1 | |
| 20:24, 24 ноября 2020 | Lecture Verification 9 eng.pdf (файл) | |
398 КБ | PodymovVV | курс методов верификации, 2020. лекция про временные автоматы и tctl | 1 |
| 13:05, 21 ноября 2020 | Lecture pbscpp 10 2020.pdf (файл) | |
330 КБ | KonovodovV | 1 | |
| 14:43, 20 ноября 2020 | Specem 201120.pdf (файл) | |
753 КБ | DanilovB | 1 | |
| 20:12, 19 ноября 2020 | Popkov 2018 k-krat testy proizv const prep2018 149.pdf (файл) | |
472 КБ | RomanovDS | 1 | |
| 14:21, 16 ноября 2020 | Hdl practice 06.pdf (файл) | |
206 КБ | PodymovVV | 2020. косметические правки | 2 |
| 14:20, 16 ноября 2020 | Hdl practice 05.pdf (файл) | |
195 КБ | PodymovVV | 2020. теперь тут задачки на параметры, массивы и генерацию в verilog | 2 |
| 13:52, 16 ноября 2020 | Hdl lecture 22.pdf (файл) | |
190 КБ | PodymovVV | поправил опечатку на титульном слайде (неправильный номер блока) | 3 |
| 13:47, 16 ноября 2020 | Hdl lecture 24.pdf (файл) | |
286 КБ | PodymovVV | языки описания схем, 2020. символьные автоматы с таймерами | 1 |
| 13:47, 16 ноября 2020 | Hdl lecture 23.pdf (файл) | |
231 КБ | PodymovVV | 2020. теперь тут рассказ про то, как спроектировать управляющий автомат, когда операционный дан | 2 |
| 13:46, 16 ноября 2020 | Hdl lecture 21.pdf (файл) | |
212 КБ | PodymovVV | 2020. теперь тут рассказ про операционный и управляющий автоматы | 2 |
| 13:45, 16 ноября 2020 | Hdl lecture 20.pdf (файл) | |
324 КБ | PodymovVV | 2020. теперь тут типовая реализация автомата в verilog | 3 |
| 13:44, 16 ноября 2020 | Hdl lecture 19.pdf (файл) | |
345 КБ | PodymovVV | 2020. теперь тут синтаксический сахар Verilog | 7 |
| 19:01, 14 ноября 2020 | Lecture pbscpp 9 2020.pdf (файл) | |
3,24 МБ | KonovodovV | 1 | |
| 10:40, 13 ноября 2020 | Hdl practice 04.pdf (файл) | |
216 КБ | PodymovVV | 2020. Теперь тут автоматы - а продвинутый синтаксис verilog оставлен на потом | 2 |
| 10:40, 13 ноября 2020 | Hdl lecture 18.pdf (файл) | |
304 КБ | PodymovVV | 2020, суть та же | 6 |
| 10:39, 13 ноября 2020 | Hdl lecture 17.pdf (файл) | |
294 КБ | PodymovVV | 2020, суть та же | 6 |
| 17:24, 11 ноября 2020 | Specem 201113.pdf (файл) | |
631 КБ | DanilovB | 1 | |
| 18:43, 9 ноября 2020 | Seminar Verification 8 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. семинар с задачами по средству spin (англ.) | 1 |
| 15:17, 7 ноября 2020 | Lecture pbscpp 8 2020.pdf (файл) | |
1,54 МБ | KonovodovV | 1 | |
| 15:03, 3 ноября 2020 | Seminar Verification 7 eng.pdf (файл) | |
856 КБ | PodymovVV | курс методов верификации, 2020. английский перевод обзора средства spin. | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
