Список перенаправлений

Ниже показаны до 20 результатов, начиная с №21.

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)

21. Математическая логика и теория алгоритмов →‎ Математическая логика и логическое программирование (группа 318)
22. Методы верификации программ →‎ Математические методы верификации схем и программ
23. Модели последовательных и параллельных вычислений →‎ Математические модели последовательных вычислений
24. Нагорный Александр Степанович →‎ Участник:NagornyAS
25. Научно-исследовательский семинар "Математические вопросы кибернетики" →‎ Математические вопросы кибернетики
26. Некоторые вопросы синтеза управляющих систем →‎ Некоторые вопросы теории управляющих систем
27. Области научных интересов →‎ Научная работа
28. Основы кибернетики (2 поток) →‎ Основы кибернетики (2-й поток)
29. Основы кибернетики (318, 418 группы) →‎ Основы кибернетики (418 группа)
30. Основы кибернетики (318-328 группы) →‎ Основы кибернетики (3-й поток)
31. Основы кибернетики 1 (4-й курс, 1-й поток) →‎ Основы кибернетики (1-й поток)
32. Подымов Владислав Васильевич →‎ Участник:PodymovVV
33. Про2 →‎ Просеминар для 2-го курса
34. Проектирование больших систем С++ →‎ Проектирование больших систем на С++
35. Распределенные алгоритмы →‎ Распределённые алгоритмы
36. Распределенные алгоритмы и системы →‎ Распределённые алгоритмы
37. Романов Дмитрий Сергеевич →‎ Участник:RomanovDS
38. СК ВКА →‎ Вероятностные и квантовые алгоритмы
39. СК ГП →‎ Графы и их применения
40. СК ДФВО →‎ Дискретные функции и выполнимость ограничений

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)