Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 12:19, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (семинар по uppaal, версия 18-го года (поправлена стилистика))
- 08:09, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (обновлённая чуть урезанная версия)
- 18:53, 9 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf»
- 08:48, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10.pdf»