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

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

Просмотреть (предыдущие 500 | следующие 500) (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. СК ДФВО →‎ Дискретные функции и выполнимость ограничений
41. СК ЛССБИС →‎ Математические модели и методы логического синтеза сверхбольших интегральных схем
42. СК МВП →‎ Математические методы верификации схем и программ
43. СК ПБС →‎ Проектирование больших систем на С++
44. СК ПЛИС →‎ Программируемые логические интегральные схемы
45. СК ЯОС →‎ Языки описания схем
46. ССем →‎ Спецсеминары
47. Савицкий Игорь Владимирович →‎ Участник:SavitskiyIV
48. Сапоженко Александр Антонович →‎ Участник:SapozhenkoAA
49. Селезнева Светлана Николаевна →‎ Участник:SeleznevaSN
50. Сот →‎ Категория:Сотрудники кафедры МК и лаборатории ДУСП
51. Федорова Валентина Сергеевна →‎ Участник:FedorovaVS
52. Шуплецов Михаил Сергеевич →‎ Участник:ShupletsovMS
53. Языки описания цифровых схем →‎ Языки описания схем

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