Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 22:10, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 22:09, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 22:05, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 22:02, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 15:17, 7 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 8 2020.pdf»
- 11:18, 5 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 11:18, 5 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l9-selezn.pdf»
- 15:03, 3 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 eng.pdf» (курс методов верификации, 2020. английский перевод обзора средства spin.)
- 22:30, 1 ноября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-20-2 311-319.pdf»
- 20:29, 1 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 10:01, 31 октября 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lec7pbs.pdf»
- 09:07, 31 октября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lec7pbs.pdf»
- 18:02, 29 октября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 201030.pdf»
- 11:29, 29 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201030.pdf»
- 23:29, 28 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s4-selezn.pdf»
- 23:03, 28 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s4-selezn.pdf»
- 20:15, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (обновился год, остальное то же)
- 20:15, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновился год, остальное то же)
- 16:16, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (поправил незначительную опечатку в терминологии)
- 15:28, 27 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l8-selezn.pdf»
- 15:28, 27 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 23:18, 25 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- 13:48, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (языки описания схем 2020. теперь это блок про синтезируемую постоянную процедуру (бывший 14))
- 13:48, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (языки описания схем 2020. теперь это блок про процедурные команды (бывший 13))
- 13:47, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2020. теперь это блок про синтезируемость кода (бывший 12))
- 20:14, 22 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 20:10, 22 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 18:28, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5 eng.pdf» (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv))
- 14:19, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7 eng.pdf» (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl)
- 16:08, 19 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4 eng.pdf» (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV))
- 12:50, 15 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 12:46, 15 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 00:21, 15 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2020-2021.pdf»
- 23:30, 14 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201016.pdf»
- 19:10, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки (миниатюра).png» (Осень 2020)
- 19:09, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист (миниатюра).png» (Осень 2020)
- 18:48, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры (миниатюра).png» (Осень 2020)
- 17:59, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.jpg» (Осень 2020)
- 17:57, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.png»
- 17:51, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки.pdf» (Осень 2020)
- 17:29, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист.pdf» (Осень 2020)
- 17:28, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.pdf»
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2020. теперь это основы программной симуляции в verilog)
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2020. теперь это начало рассказа про verilog (вплоть до комбинационных схем в assign))
- 21:45, 13 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 21:43, 13 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 20:33, 10 октября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 6 2020.pdf»
- 14:09, 9 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 09:25, 8 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 01:42, 8 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201008.pdf»