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

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

• 23:17, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf») (текущая)
• 23:13, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf») (текущая)
• 23:10, 26 октября 2025 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 23:09, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP Review Nusmv.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf»)
• 23:02, 26 октября 2025 (разн. | история) . . (-282)‎ . . Языки описания схем ‎ (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R07.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R07.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R06.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R06.pdf»)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R05.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R04.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R03.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R03.pdf») (текущая)
• 22:59, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R02.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R02.pdf») (текущая)
• 22:59, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R01.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf») (текущая)
• 22:55, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP s05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s05.pdf») (текущая)
• 22:27, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf») (текущая)
• 21:07, 13 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 21:07, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 33.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf») (текущая)
• 21:06, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 32.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 32.pdf») (текущая)
• 21:06, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf») (текущая)
• 19:54, 13 октября 2025 (разн. | история) . . (-146)‎ . . Математические методы верификации схем и программ ‎
• 19:53, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP sem03.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP sem03.pdf») (текущая)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf»)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 23.pdf») (текущая)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf»)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf») (текущая)
• 19:36, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 31.pdf»)
• 19:36, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 30.pdf»)
• 19:36, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP s04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s04.pdf») (текущая)
• 19:26, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 17.pdf») (текущая)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 28.pdf») (текущая)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf»)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 26.pdf») (текущая)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 25.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf») (текущая)
• 14:51, 12 октября 2025 (разн. | история) . . (0)‎ . . м Математическая логика и логическое программирование (3-й поток) ‎
• 14:39, 12 октября 2025 (разн. | история) . . (-119)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 14:39, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf»)
• 14:37, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf») (текущая)
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf»)
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf»)
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf»)
• 22:19, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf»)

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