Популярные страницы

Перейти к: навигация, поиск

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

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

  1. Заглавная страница‏‎ (325 076 просмотра)
  2. Математическая логика и логическое программирование (3-й поток)‏‎ (272 361 просмотр)
  3. Математическая логика и логическое программирование (группа 318)‏‎ (257 508 просмотра)
  4. Основы кибернетики (3-й поток)‏‎ (185 134 просмотров)
  5. Основы кибернетики (2-й поток, 3 курс)‏‎ (139 584 просмотров)
  6. Избранные вопросы дискретной математики‏‎ (114 170 просмотра)
  7. Теория управляющих систем и математические модели СБИС‏‎ (106 484 просмотров)
  8. Теоретические проблемы программирования‏‎ (102 946 просмотра)
  9. Сложность решения дискретных задач‏‎ (89 446 просмотра)
  10. Дискретная математика (1й курс)‏‎ (80 229 просмотра)
  11. Дискретные модели‏‎ (76 238 просмотра)
  12. Проектирование больших систем С++‏‎ (74 281 просмотр)
  13. Некоторые вопросы теории управляющих систем‏‎ (66 338 просмотра)
  14. Математические модели и методы синтеза СБИС(семинар)‏‎ (63 636 просмотра)
  15. Математические методы верификации схем и программ‏‎ (57 323 просмотров)
  16. Дискретная математика 2 (группа 141)‏‎ (55 469 просмотра)
  17. Дискретная математика и математическая кибернетика‏‎ (53 042 просмотров)
  18. Модели вычислений‏‎ (51 649 просмотра)
  19. Распределенные алгоритмы‏‎ (51 488 просмотра)
  20. Modern trends in discrete mathematics and computer science‏‎ (45 372 просмотров)
  21. Языки описания цифровых схем‏‎ (44 380 просмотра)
  22. Практикум (3 курс, осенний семестр 2017 года)‏‎ (41 059 просмотра)
  23. Дискретные модели управляющих систем‏‎ (40 540 просмотра)
  24. Расписание‏‎ (39 631 просмотр)
  25. Просеминар для 2-го курса‏‎ (39 424 просмотров)
  26. Сложность алгоритмов‏‎ (38 120 просмотра)
  27. Дискретные функции и выполнимость ограничений‏‎ (33 924 просмотров)
  28. Модели последовательных и параллельных вычислений‏‎ (29 257 просмотра)
  29. Графы и их применения‏‎ (27 408 просмотра)
  30. Boolean SAT/SMT Solvers for Software Engineering‏‎ (25 092 просмотров)
  31. Математические модели и методы синтеза СБИС‏‎ (25 051 просмотр)
  32. Информация для 2 курса‏‎ (23 094 просмотров)
  33. Фотографии‏‎ (22 620 просмотра)
  34. Элементы теории дискретных управляющих систем‏‎ (20 824 просмотров)
  35. Учебный план‏‎ (20 740 просмотра)
  36. Магистерские программы‏‎ (19 635 просмотра)
  37. Конференции‏‎ (17 218 просмотра)
  38. Дискретная математика (1-й поток)‏‎ (16 585 просмотра)
  39. Практикум (3 курс, осенний семестр 2016 года)‏‎ (16 361 просмотр)
  40. Некоторые вопросы синтеза управляющих систем (Архив)‏‎ (16 148 просмотра)
  41. Математические вопросы проектирования СБИС (Архив)‏‎ (15 280 просмотра)
  42. Математические модели и методы проектирования архитектуры сверхбольших интегральных схем‏‎ (14 443 просмотров)
  43. Математические модели и методы логического синтеза сверхбольших интегральных схем‏‎ (14 431 просмотр)
  44. Вероятностные и квантовые алгоритмы‏‎ (14 156 просмотра)
  45. Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)‏‎ (13 268 просмотра)
  46. Основы кибернетики (2-й поток)‏‎ (12 054 просмотров)
  47. Дискретный анализ‏‎ (10 996 просмотра)
  48. Дополнительные главы дискретной математики (2-й поток)‏‎ (10 732 просмотров)
  49. Дискретные модели в теории управляющих систем‏‎ (10 681 просмотр)
  50. Дискретные функции и сложность алгоритмов‏‎ (10 152 просмотров)

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