Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 13:06, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 01.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 01.pdf»)
- 12:42, 27 сентября 2020 (разн. | история) . . (+170) . . Языки описания схем
- 12:39, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:38, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 12:37, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 12:23, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 12:21, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 16:01, 22 сентября 2020 (разн. | история) . . (-15) . . Математические методы верификации схем и программ
- 15:59, 22 сентября 2020 (разн. | история) . . (+136) . . Н Файл:Seminar Verification 2 eng.pdf (Английский перевод версии 2019 года (то же без "eng") с косметическими правками) (текущая)
- 14:31, 16 сентября 2020 (разн. | история) . . (0) . . Языки описания схем
- 14:31, 16 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 14:30, 16 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 19:00, 14 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 10:56, 12 сентября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 10:55, 12 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 23:45, 8 сентября 2020 (разн. | история) . . (-38) . . Математические методы верификации схем и программ
- 23:44, 8 сентября 2020 (разн. | история) . . (+134) . . Н Файл:Seminar Verification 1 eng.pdf (курс методов верификации. осень 2020. семинар по логике хоара на английском) (текущая)
- 11:14, 8 сентября 2020 (разн. | история) . . (-164) . . Математические методы верификации схем и программ
- 11:11, 8 сентября 2020 (разн. | история) . . (+116) . . Н Файл:Lecture Verification 2 eng.pdf (магистерский курс методов верификации, лекция про логику Хоара) (текущая)
- 21:53, 4 сентября 2020 (разн. | история) . . (+6) . . м Языки описания схем
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)