Связанные правки для «Категория:Спецкурсы кафедры МК»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
10 ноября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 22:24 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 22:23 . . (0) . . PodymovVV (обсуждение | вклад)
7 ноября 2024
- (разн. | история) . . Проектирование больших систем на С++; 11:48 . . (+42) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 08:37 . . (-53) . . ZhukovVV (обсуждение | вклад)
5 ноября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 23:18 . . (0) . . PodymovVV (обсуждение | вклад)
2 ноября 2024
- (разн. | история) . . Проектирование больших систем на С++; 20:25 . . (+53) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 20:22 . . (0) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 20:09 . . (+137) . . ZhukovVV (обсуждение | вклад)
30 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 19:54 . . (0) . . PodymovVV (обсуждение | вклад)
27 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 18:14 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 18:08 . . (0) . . PodymovVV (обсуждение | вклад)
23 октября 2024
- (разн. | история) . . Графы и их приложения; 17:28 . . (-2715) . . SeleznevaSN (обсуждение | вклад) (→Лекции)
- (разн. | история) . . Графы и их приложения; 17:26 . . (-1643) . . SeleznevaSN (обсуждение | вклад)
22 октября 2024
- (разн. | история) . . Проектирование больших систем на С++; 22:10 . . (-6) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:09 . . (0) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:08 . . (+50) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 19:56 . . (-32) . . PodymovVV (обсуждение | вклад) (→Семинары)
- (разн. | история) . . Проектирование больших систем на С++; 18:34 . . (+42) . . ZhukovVV (обсуждение | вклад) (→Содержание курса)
20 октября 2024
- (разн. | история) . . Языки описания схем; 22:39 . . (0) . . PodymovVV (обсуждение | вклад) (→Упражнения)
- (разн. | история) . . Математические методы верификации схем и программ; 21:21 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 21:19 . . (0) . . PodymovVV (обсуждение | вклад)
16 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 08:42 . . (-18) . . ZhukovVV (обсуждение | вклад)
14 октября 2024
- (разн. | история) . . Проектирование больших систем на С++; 10:02 . . (+61) . . ZhukovVV (обсуждение | вклад)
13 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 22:45 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 18:56 . . (0) . . PodymovVV (обсуждение | вклад)