Список перенаправлений
Ниже показаны до 50 результатов, начиная с №1.
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)
- AlekseevVB/Алексеев Валерий Борисович → Участник:AlekseevVB/Алексеев Валерий Борисович
- Алексеев Валерий Борисович → Участник:AlekseevVB
- Бухман Антон Владимирович → Участник:BukhmanAV
- Владимирова Юлия Сергеевна → Участник:VladimirovaYuS
- Вороненко Андрей Анатольевич → Участник:VoronenkoAA
- ВысКа → Выставка кафедр
- Данилов Борис Радиславович → Участник:DanilovB
- Дискретные функции и их представления → Дискретные функции и выполнимость ограничений
- Для2 → Информация для 2 курса
- Дополнительные главы дискретной математики (2-й поток III курса) → Дополнительные главы дискретной математики (2-й поток)
- Дополнительные главы дискретной математики (гр. 318, 319) → Избранные вопросы дискретной математики
- Захаров Владимир Анатольевич → Участник:ZakharovVA
- Информация для 2-го курса → Информация для 2 курса
- Ложкин Сергей Андреевич → Участник:LozhkinSA
- МагПрог → Магистерские программы
- Марченков Сергей Серафимович → Участник:MarchenkovSS
- Математическая логика (группы 318, 241) → Математическая логика и логическое программирование (группа 318)
- Математическая логика и логическое программирование → Математическая логика и логическое программирование (3-й поток)
- Математическая логика и логическое программирование (318 группа) → Математическая логика и логическое программирование (группа 318)
- Математическая логика и логическое программирование (группа 318) → Математическая логика (318, 319/2, 241, 242)
- Математическая логика и теория алгоритмов → Математическая логика и логическое программирование (группа 318)
- Методы верификации программ → Математические методы верификации схем и программ
- Модели последовательных и параллельных вычислений → Математические модели последовательных вычислений
- Нагорный Александр Степанович → Участник:NagornyAS
- Научно-исследовательский семинар "Математические вопросы кибернетики" → Математические вопросы кибернетики
- Некоторые вопросы синтеза управляющих систем → Некоторые вопросы теории управляющих систем
- Области научных интересов → Научная работа
- Основы кибернетики (2 поток) → Основы кибернетики (2-й поток)
- Основы кибернетики (318, 418 группы) → Основы кибернетики (418 группа)
- Основы кибернетики (318-328 группы) → Основы кибернетики (3-й поток)
- Основы кибернетики 1 (4-й курс, 1-й поток) → Основы кибернетики (1-й поток)
- Подымов Владислав Васильевич → Участник:PodymovVV
- Про2 → Просеминар для 2-го курса
- Проектирование больших систем С++ → Проектирование больших систем на С++
- Распределенные алгоритмы → Распределённые алгоритмы
- Распределенные алгоритмы и системы → Распределённые алгоритмы
- Романов Дмитрий Сергеевич → Участник:RomanovDS
- СК ВКА → Вероятностные и квантовые алгоритмы
- СК ГП → Графы и их применения
- СК ДФВО → Дискретные функции и выполнимость ограничений
- СК ЛССБИС → Математические модели и методы логического синтеза сверхбольших интегральных схем
- СК МВП → Математические методы верификации схем и программ
- СК ПБС → Проектирование больших систем на С++
- СК ПЛИС → Программируемые логические интегральные схемы
- СК ЯОС → Языки описания схем
- ССем → Спецсеминары
- Савицкий Игорь Владимирович → Участник:SavitskiyIV
- Сапоженко Александр Антонович → Участник:SapozhenkoAA
- Селезнева Светлана Николаевна → Участник:SeleznevaSN
- Сот → Категория:Сотрудники кафедры МК и лаборатории ДУСП
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)