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

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

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

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

  1. Заглавная страница‏‎ (255 448 просмотра)
  2. Математическая логика и логическое программирование (3-й поток)‏‎ (247 624 просмотров)
  3. Математическая логика и логическое программирование (группа 318)‏‎ (230 042 просмотров)
  4. Основы кибернетики (3-й поток)‏‎ (157 985 просмотра)
  5. Основы кибернетики (2-й поток, 3 курс)‏‎ (103 263 просмотров)
  6. Избранные вопросы дискретной математики‏‎ (97 768 просмотра)
  7. Теоретические проблемы программирования‏‎ (87 283 просмотров)
  8. Теория управляющих систем и математические модели СБИС‏‎ (82 754 просмотров)
  9. Сложность решения дискретных задач‏‎ (72 340 просмотра)
  10. Дискретная математика (1й курс)‏‎ (66 033 просмотров)
  11. Дискретные модели‏‎ (63 673 просмотров)
  12. Математические модели и методы синтеза СБИС(семинар)‏‎ (59 420 просмотра)
  13. Некоторые вопросы теории управляющих систем‏‎ (56 786 просмотра)
  14. Проектирование больших систем С++‏‎ (49 017 просмотра)
  15. Математические методы верификации схем и программ‏‎ (48 274 просмотров)
  16. Дискретная математика 2 (группа 141)‏‎ (46 126 просмотра)
  17. Распределенные алгоритмы‏‎ (44 460 просмотра)
  18. Дискретная математика и математическая кибернетика‏‎ (43 338 просмотра)
  19. Модели вычислений‏‎ (41 644 просмотров)
  20. Практикум (3 курс, осенний семестр 2017 года)‏‎ (38 402 просмотров)
  21. Modern trends in discrete mathematics and computer science‏‎ (38 399 просмотра)
  22. Языки описания цифровых схем‏‎ (36 831 просмотр)
  23. Просеминар для 2-го курса‏‎ (35 229 просмотра)
  24. Дискретные модели управляющих систем‏‎ (33 555 просмотра)
  25. Сложность алгоритмов‏‎ (33 541 просмотр)
  26. Расписание‏‎ (32 555 просмотра)
  27. Дискретные функции и выполнимость ограничений‏‎ (25 595 просмотра)
  28. Модели последовательных и параллельных вычислений‏‎ (24 618 просмотра)
  29. Boolean SAT/SMT Solvers for Software Engineering‏‎ (22 774 просмотров)
  30. Графы и их применения‏‎ (22 519 просмотра)
  31. Математические модели и методы синтеза СБИС‏‎ (20 388 просмотра)
  32. Фотографии‏‎ (18 300 просмотра)
  33. Информация для 2 курса‏‎ (16 368 просмотра)
  34. Магистерские программы‏‎ (15 470 просмотра)
  35. Учебный план‏‎ (15 294 просмотров)
  36. Элементы теории дискретных управляющих систем‏‎ (15 267 просмотра)
  37. Некоторые вопросы синтеза управляющих систем (Архив)‏‎ (15 040 просмотра)
  38. Практикум (3 курс, осенний семестр 2016 года)‏‎ (14 636 просмотра)
  39. Конференции‏‎ (13 401 просмотр)
  40. Математические вопросы проектирования СБИС (Архив)‏‎ (12 916 просмотра)
  41. Математические модели и методы логического синтеза сверхбольших интегральных схем‏‎ (12 175 просмотра)
  42. Математические модели и методы проектирования архитектуры сверхбольших интегральных схем‏‎ (12 073 просмотров)
  43. Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)‏‎ (11 358 просмотра)
  44. Вероятностные и квантовые алгоритмы‏‎ (9940 просмотра)
  45. Основы кибернетики (2-й поток)‏‎ (9419 просмотра)
  46. Дискретный анализ‏‎ (9271 просмотр)
  47. Дополнительные главы дискретной математики (2-й поток)‏‎ (8416 просмотра)
  48. Дискретные модели в теории управляющих систем‏‎ (8063 просмотров)
  49. Дискретные функции и сложность алгоритмов‏‎ (7773 просмотров)
  50. Практикум (3 курс, осенний семестр 2014 года)‏‎ (7712 просмотра)

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