Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 21:38, 5 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (2019. обновил год, остальное то же)
- 21:37, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (мелкие обновления)
- 17:07, 3 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (подчищено для второго круга проведения курса)
- 09:20, 18 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf»
- 07:56, 16 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8.pdf» (математические методы верификации схем и программ, семинар 8: практика Spin)