Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (опечатки)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (опечатки)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (опечатки)
- 16:26, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» (опечатки)
- 16:26, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» (опечатки)
- 14:32, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 24.pdf»
- 13:49, 11 декабря 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-12-15.pdf»
- 10:35, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (2023-2024, без существенных изменений)
- 10:34, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (2023-2024, без существенных изменений)
- 10:34, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (2023-2024, без существенных изменений)
- 10:03, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 40.pdf» (методы верификации программ, 2023-2024. блок 40. bmc -> sat)
- 10:03, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 39.pdf» (методы верификации программ, 2023-2024. блок 39. sat)
- 10:02, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 38.pdf» (методы верификации программ, 2023-2024. блок 38. bmc)
- 10:01, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 37.pdf» (методы верификации программ, 2023-2024. блок 37. абстракция и редукция)
- 10:01, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 36.pdf» (методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв)
- 10:00, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 35.pdf» (методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция)
- 09:59, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 34.pdf» (методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов)
- 18:25, 10 декабря 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231213.pdf»
- 11:53, 10 декабря 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК ПланСеминаров 2023.pdf»
- 11:34, 10 декабря 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Лекции 1-12 2023 Презентация.pdf» (Презентации к лекциям по первым двум частям курса ДГДМиК.)
- 11:26, 10 декабря 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 20:27, 9 декабря 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 13:09, 7 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» (исправлен)
- 13:08, 7 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 17.pdf» (Важное уточнение синтаксиса констант)
- 20:35, 6 декабря 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-12-08.pdf»
- 23:25, 5 декабря 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231206.pdf»
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (опечатки)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (опечатки)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатки)
- 17:01, 4 декабря 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2023 exam questions.pdf»
- 17:01, 4 декабря 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2023 exam rules.pdf»
- 10:34, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2023-2024, без существенных изменений)
- 20:30, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (русифицировал главный термин)
- 20:27, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (2023-2024, без существенных изменений)
- 20:27, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (2023-2024, без существенных изменений)
- 12:30, 3 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 33.pdf» (Методы верификации программ, 2023-2024. Сети временных автоматов)
- 12:29, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2023-2024. Теперь тут TCTL)
- 21:51, 30 ноября 2023 ZizovVS (обсуждение | вклад) загрузил «Файл:Информационно-управляющие системы.tsv.zip»
- 14:26, 30 ноября 2023 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы ВКА 2023.pdf»
- 14:01, 30 ноября 2023 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2023.zip»
- 22:14, 28 ноября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231129.pdf»
- 18:39, 28 ноября 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-12-01.pdf»
- 11:30, 28 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатки)
- 11:30, 28 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатки)
- 12:43, 27 ноября 2023 Root (обсуждение | вклад) создал учётную запись ZizovVS (обсуждение | вклад)
- 20:52, 26 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R06.pdf» (языки описания схем. 2023-2024. кое-что ещё 6: эспиай для произвольного числа устройтсв, высокий импеданс)
- 20:37, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (небольшая помарка)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2023-2024. без существенных изменений)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2023-2024. без существенных изменений)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2023-2024. без существенных изменений)
