Связанные правки для «Спецкурсы»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
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
- (разн. | история) . . Математические методы верификации схем и программ; 19:56 . . (-32) . . PodymovVV (обсуждение | вклад) (→Семинары)
20 октября 2024
- (разн. | история) . . Языки описания схем; 22:39 . . (0) . . PodymovVV (обсуждение | вклад) (→Упражнения)
- (разн. | история) . . Математические методы верификации схем и программ; 21:21 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 21:19 . . (0) . . PodymovVV (обсуждение | вклад)
16 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
13 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 22:45 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 18:56 . . (0) . . PodymovVV (обсуждение | вклад)
8 октября 2024
- (разн. | история) . . м Математические методы верификации схем и программ; 15:57 . . (+2) . . PodymovVV (обсуждение | вклад)
7 октября 2024
- (разн. | история) . . м Языки описания схем; 23:15 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Элементы теории синтеза, надежности и контроля дискретных управляющих систем; 23:15 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Практикум по дискретным структурам; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели и методы физического синтеза сверхбольших интегральных схем; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели и методы логического синтеза сверхбольших интегральных схем; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические методы верификации схем и программ; 23:12 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Графы и их применения; 23:11 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Геометрическая реализация графов и схем; 23:11 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Вероятностные и квантовые алгоритмы; 23:09 . . (-76) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Вероятностные и квантовые алгоритмы; 23:06 . . (+13) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Графы и их приложения; 14:21 . . (+75) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 00:48 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 00:33 . . (0) . . PodymovVV (обсуждение | вклад)
