Связанные правки для «Спецкурсы»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
26 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 14:35 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
25 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 13:59 . . (0) . . PodymovVV (обсуждение | вклад)
22 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 15:23 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 15:03 . . (0) . . PodymovVV (обсуждение | вклад)
16 сентября 2024
- (разн. | история) . . Графы и их приложения; 19:42 . . (+9) . . SeleznevaSN (обсуждение | вклад) (→Лекции)
15 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 20:22 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 20:15 . . (0) . . PodymovVV (обсуждение | вклад)
12 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 11:33 . . (0) . . PodymovVV (обсуждение | вклад)
8 сентября 2024
- (разн. | история) . . Языки описания схем; 20:46 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 20:44 . . (0) . . PodymovVV (обсуждение | вклад)
31 августа 2024
- (разн. | история) . . Математические методы верификации схем и программ; 20:39 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 15:37 . . (-3091) . . PodymovVV (обсуждение | вклад)
30 августа 2024
- (разн. | история) . . Математические методы верификации схем и программ; 19:26 . . (+399) . . PodymovVV (обсуждение | вклад)