Вклад участника

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)

• 10:40, 13 ноября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 18.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf») (текущая)
• 10:39, 13 ноября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 17.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf») (текущая)
• 10:39, 13 ноября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 16.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
• 19:30, 12 ноября 2020 (разн. | история) . . (0)‎ . . м Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 18:44, 9 ноября 2020 (разн. | история) . . (-78)‎ . . Математические методы верификации схем и программ ‎
• 18:43, 9 ноября 2020 (разн. | история) . . (+127)‎ . . Н Файл:Seminar Verification 8 eng.pdf ‎ (курс методов верификации, 2020. семинар с задачами по средству spin (англ.)) (текущая)
• 15:45, 4 ноября 2020 (разн. | история) . . (-22)‎ . . м Языки описания схем ‎
• 15:04, 3 ноября 2020 (разн. | история) . . (-104)‎ . . Математические методы верификации схем и программ ‎
• 15:03, 3 ноября 2020 (разн. | история) . . (+125)‎ . . Н Файл:Seminar Verification 7 eng.pdf ‎ (курс методов верификации, 2020. английский перевод обзора средства spin.) (текущая)
• 20:21, 27 октября 2020 (разн. | история) . . (-78)‎ . . Языки описания схем ‎
• 20:15, 27 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl practice 03.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl practice 03.pdf»)
• 20:15, 27 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl practice 02.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl practice 02.pdf»)
• 16:16, 27 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 15.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
• 13:52, 23 октября 2020 (разн. | история) . . (+80)‎ . . Языки описания схем ‎
• 13:48, 23 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 15.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
• 13:48, 23 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 14.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
• 13:47, 23 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 13.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
• 18:28, 20 октября 2020 (разн. | история) . . (-78)‎ . . Математические методы верификации схем и программ ‎
• 18:28, 20 октября 2020 (разн. | история) . . (+159)‎ . . Н Файл:Seminar Verification 5 eng.pdf ‎ (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv)) (текущая)
• 14:20, 20 октября 2020 (разн. | история) . . (-188)‎ . . Математические методы верификации схем и программ ‎
• 14:19, 20 октября 2020 (разн. | история) . . (+207)‎ . . Н Файл:Lecture Verification 7 eng.pdf ‎ (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl) (текущая)
• 16:09, 19 октября 2020 (разн. | история) . . (-11)‎ . . Математические методы верификации схем и программ ‎
• 16:08, 19 октября 2020 (разн. | история) . . (+184)‎ . . Н Файл:Seminar Verification 4 eng.pdf ‎ (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV)) (текущая)
• 18:57, 16 октября 2020 (разн. | история) . . (+153)‎ . . Заглавная страница ‎
• 19:41, 15 октября 2020 (разн. | история) . . (+39)‎ . . м Выставка кафедр 2020 ‎
• 20:22, 14 октября 2020 (разн. | история) . . (+1)‎ . . Выставка кафедр 2020 ‎
• 19:41, 14 октября 2020 (разн. | история) . . (+336)‎ . . Выставка кафедр 2020 ‎
• 19:29, 14 октября 2020 (разн. | история) . . (+3884)‎ . . Н Выставка кафедр 2020 ‎ (Новая страница: «На этой странице собраны ссылки на материалы, которые обычно демонстрируются на ежегодн…»)
• 19:10, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Задачки (миниатюра).png ‎ (Осень 2020) (текущая)
• 19:09, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Информационный лист (миниатюра).png ‎ (Осень 2020) (текущая)
• 18:48, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Постер кафедры (миниатюра).png ‎ (Осень 2020) (текущая)
• 17:59, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Постер кафедры.jpg ‎ (Осень 2020) (текущая)
• 17:57, 14 октября 2020 (разн. | история) . . (0)‎ . . Н Файл:Постер кафедры.png ‎ (текущая)
• 17:51, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Задачки.pdf ‎ (Осень 2020) (текущая)
• 17:29, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Информационный лист.pdf ‎ (Осень 2020)
• 17:28, 14 октября 2020 (разн. | история) . . (0)‎ . . Н Файл:Постер кафедры.pdf ‎ (текущая)
• 15:32, 14 октября 2020 (разн. | история) . . (+46)‎ . . Языки описания схем ‎
• 15:31, 14 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 12.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
• 15:31, 14 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 11.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
• 20:44, 6 октября 2020 (разн. | история) . . (+1395)‎ . . Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 20:25, 6 октября 2020 (разн. | история) . . (-1455)‎ . . Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 20:24, 6 октября 2020 (разн. | история) . . (+27)‎ . . Спецсеминары ‎
• 20:23, 6 октября 2020 (разн. | история) . . (+1528)‎ . . Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 20:04, 6 октября 2020 (разн. | история) . . (+1435)‎ . . Дискретная математика и математическая кибернетика ‎ (→‎Расписание докладов)
• 17:38, 6 октября 2020 (разн. | история) . . (-47)‎ . . Математические методы верификации схем и программ ‎
• 17:37, 6 октября 2020 (разн. | история) . . (+123)‎ . . Н Файл:Seminar Verification 3 eng.pdf ‎ (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский) (текущая)
• 20:07, 5 октября 2020 (разн. | история) . . (-23)‎ . . м Языки описания схем ‎
• 16:27, 30 сентября 2020 (разн. | история) . . (+67)‎ . . Н Лаборатория дискретных управляющих систем и их приложений ‎ (Новая страница: «Пока что на этой странице ничего нет.») (текущая)
• 22:51, 28 сентября 2020 (разн. | история) . . (-112)‎ . . Спецсеминары ‎
• 22:45, 28 сентября 2020 (разн. | история) . . (+319)‎ . . м Спецсеминары ‎

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)