Журнал загрузок

Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.

Журналы

Все доступные журналы Журнал блокировок Журнал загрузок Журнал защиты Журнал импорта Журнал объединений Журнал патрулирования Журнал переименований Журнал прав участника Журнал регистрации участников Журнал удалений Исполнитель:  Цель (название или участник):   Найти заголовки, начинающиеся с данных символов

С года (и ранее): С месяца (и ранее): все январь февраль март апрель май июнь июль август сентябрь октябрь ноябрь декабрь

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

• 13:42, 6 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
• 13:06, 4 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
• 15:30, 3 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатка)
• 15:26, 3 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
• 11:42, 1 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (подрихтовал)
• 11:42, 1 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатка)
• 12:54, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2025/2026, без существенных изменений)
• 12:54, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 12:18, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (опечатки)
• 11:59, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатки)
• 10:18, 27 ноября 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
• 12:39, 24 ноября 2025 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20251124.pdf»
• 17:30, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2025/2026, теперь тут алгоритм проверки моделей для логики ветвящегося времени)
• 17:29, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2025/2026, теперь тут темпоральные логики)
• 17:29, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2025/2026, теперь тут модели крипке)
• 17:29, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2025/2026, теперь тут начало рассказа о проверке моделей)
• 17:28, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2025/2026, теперь тут логика хоара)
• 17:28, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2025/2026, теперь тут модельные императивные программы)
• 17:28, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (2025/2026, теперь тут начало про формальную верификацию)
• 17:25, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2025/2026, без существенных изменений)
• 14:16, 13 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2025/2026, без существенных изменений)
• 12:09, 13 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (2025/2026, без существенных изменений (с поправкой на сдвиг нумерации))
• 12:09, 13 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 45.pdf» (2025/2026, без существенных изменений (с поправкой на сдвиг нумерации))
• 20:22, 10 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (опечатки)
• 20:22, 10 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (опечатки)
• 20:16, 10 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» (опечатки)
• 21:02, 9 ноября 2025 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20251110.pdf»
• 13:19, 6 ноября 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
• 20:31, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 44.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 42.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 41.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 19:15, 1 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (опечатки, и перемешал порядок изложения)
• 19:14, 1 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (опечатки)
• 21:55, 31 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Nusmv.pdf» (2025/2026, без существенных изменений)
• 00:11, 29 октября 2025 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-25-2 311-319.pdf»
• 14:34, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 14:34, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 14:26, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (небольшая опечатка)
• 14:23, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» (2025/2026, вырезал bdd, нумерация уменьшилась на 1)
• 14:23, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (2025/2026, вырезал bdd, нумерация уменьшилась на 1)
• 14:22, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (2025/2026, вырезал bdd, нумерация уменьшилась на 1)
• 16:48, 27 октября 2025 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-25-2 311-319.pdf»
• 15:26, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (поспешил)
• 15:26, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (поспешил)

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