Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 21:50, 3 февраля 2021 (разн. | история) . . (+37) . . м Математическая логика (318, 319/2, 241, 242)
- 17:03, 3 февраля 2021 (разн. | история) . . (-2537) . . м Математическая логика (318, 319/2, 241, 242)
- 16:57, 3 февраля 2021 (разн. | история) . . (+211) . . м Математическая логика (318, 319/2, 241, 242) (начало подготовки страницы к семестру 2021-весна)
- 01:05, 3 февраля 2021 (разн. | история) . . (-76) . . м Математическая логика (группы 318, 241) (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (-68) . . Языки описания схем
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 05.pdf») (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 04.pdf») (текущая)
- 11:00, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 03.pdf») (текущая)
- 11:00, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 02.pdf») (текущая)
- 18:51, 9 декабря 2020 (разн. | история) . . (0) . . Языки описания схем
- 18:51, 9 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 02.pdf»)
- 18:50, 9 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 01.pdf») (текущая)
- 14:43, 2 декабря 2020 (разн. | история) . . (-44) . . м Языки описания схем
- 22:14, 1 декабря 2020 (разн. | история) . . (-184) . . Математические методы верификации схем и программ
- 22:11, 1 декабря 2020 (разн. | история) . . (+118) . . Н Файл:Seminar Verification 10 eng.pdf (курс методов верификации, 2020. английский перевод семинара по UPPAAL) (текущая)
- 14:47, 1 декабря 2020 (разн. | история) . . (-151) . . Математические методы верификации схем и программ
- 14:45, 1 декабря 2020 (разн. | история) . . (+235) . . Н Файл:Lecture Verification 10 eng.pdf (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов) (текущая)
- 15:30, 25 ноября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 20:26, 24 ноября 2020 (разн. | история) . . (-133) . . Математические методы верификации схем и программ
- 20:24, 24 ноября 2020 (разн. | история) . . (+117) . . Н Файл:Lecture Verification 9 eng.pdf (курс методов верификации, 2020. лекция про временные автоматы и tctl) (текущая)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)