Длинные страницы

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

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

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

  1. (история) ‎Теоретические проблемы программирования ‎[73 594 байт]
  2. (история) ‎Математические вопросы проектирования СБИС (Архив) ‎[70 216 байта]
  3. (история) ‎Некоторые вопросы синтеза управляющих систем (Архив) ‎[61 647 байта]
  4. (история) ‎Математическая логика и логическое программирование (группа 318) ‎[54 992 байт]
  5. (история) ‎Математическая логика и логическое программирование (3-й поток) ‎[28 050 байта]
  6. (история) ‎Сложность решения дискретных задач ‎[27 142 байт]
  7. (история) ‎Модели вычислений ‎[24 733 байт]
  8. (история) ‎Математические методы верификации схем и программ ‎[24 432 байт]
  9. (история) ‎Научная работа ‎[21 249 байта]
  10. (история) ‎Яблонский Сергей Всеволодович ‎[19 526 байта]
  11. (история) ‎Практикум (3 курс, осенний семестр 2017 года) ‎[18 600 байта]
  12. (история) ‎Дискретные модели управляющих систем ‎[15 784 байт]
  13. (история) ‎Дискретная математика 2 (группа 141) ‎[15 578 байта]
  14. (история) ‎Модели последовательных и параллельных вычислений ‎[13 295 байта]
  15. (история) ‎Расписание ‎[12 630 байта]
  16. (история) ‎Просеминар для 2-го курса ‎[12 519 байта]
  17. (история) ‎Теоретические проблемы программирования (Архив) ‎[12 423 байт]
  18. (история) ‎Дискретные функции и выполнимость ограничений ‎[12 308 байта]
  19. (история) ‎Математические модели и методы проектирования архитектуры сверхбольших интегральных схем ‎[12 206 байта]
  20. (история) ‎Математические модели и методы логического синтеза сверхбольших интегральных схем ‎[10 652 байт]
  21. (история) ‎Языки описания цифровых схем ‎[10 257 байта]
  22. (история) ‎О вечере кафедры математический кибернетики ‎[9991 байт]
  23. (история) ‎Избранные вопросы дискретной математики ‎[9867 байта]
  24. (история) ‎Дискретная математика (1й курс) ‎[9631 байт]
  25. (история) ‎Проектирование больших систем С++ ‎[9611 байта]
  26. (история) ‎Основы кибернетики (3-й поток) ‎[9365 байта]
  27. (история) ‎Математические модели и методы синтеза СБИС ‎[9361 байт]
  28. (история) ‎Графы и их применения ‎[8859 байта]
  29. (история) ‎Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года) ‎[8729 байта]
  30. (история) ‎Modern trends in discrete mathematics and computer science ‎[8462 байт]
  31. (история) ‎Дискретные модели ‎[8092 байт]
  32. (история) ‎Практикум (3 курс, осенний семестр 2016 года) ‎[7541 байт]
  33. (история) ‎Магистерские программы ‎[7523 байт]
  34. (история) ‎Магистерская программа "Математические модели и методы проектирования СБИС" ‎[7444 байт]
  35. (история) ‎Математические модели и методы синтеза СБИС(семинар) ‎[7154 байт]
  36. (история) ‎Основы кибернетики (2-й поток, 3 курс) ‎[7114 байта]
  37. (история) ‎Учебный план ‎[7046 байта]
  38. (история) ‎Практикум (3 курс, осенний семестр 2014 года) ‎[6828 байта]
  39. (история) ‎Практикум (3 курс, осенний семестр 2015 года) ‎[6619 байта]
  40. (история) ‎Дискретная математика и математическая кибернетика ‎[6575 байта]
  41. (история) ‎Команда факультета ВМК - победитель соревнования 2015 CAD Contest ‎[6524 байт]
  42. (история) ‎Вероятностные и квантовые алгоритмы ‎[6098 байта]
  43. (история) ‎Распределенные алгоритмы ‎[6074 байт]
  44. (история) ‎Основы проектирования интегральных схем и систем ‎[5924 байт]
  45. (история) ‎Программируемые логические интегральные схемы ‎[5601 байт]
  46. (история) ‎Булевы функции и полиномы ‎[5333 байт]
  47. (история) ‎Дополнительные главы дискретной математики и кибернетики (2-й поток, 3 курс) ‎[5326 байта]
  48. (история) ‎Архитектурные особенности современных вычислительных систем ‎[5268 байта]
  49. (история) ‎Boolean SAT/SMT Solvers for Software Engineering ‎[5051 байт]
  50. (история) ‎Практикум (3 курс, осенний семестр) ‎[4666 байта]

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