Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей

шифр 2.3.5. • до 2022 года: 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»

1. Разработка и исследование методов автоматизации сборочного программирования задач контроля и управления в АСУТП непрерывного типа

   Яншин, Геннадий Анатольевич · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
2. Организация вычислений в объектно-ориентированной системе программирования с автоматическим синтезом программ

   Урбайтис, Кястутис Яронимович · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
3. Проектирование и реализация интегрированной диалоговой системы для разработки, отладки, сопровождения и эксплуатации математического обеспечения систем аналитических вычислений

   Крюков, Александр Павлович · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
4. Продукционное моделирование и программирование механизмов вывода для экспертных систем

   Щенников, Сергей Юрьевич · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
5. Исследование методов повышения достоверности передачи сообщений в сетях ЭВМ

   Чернышева, Виктория Артуровна · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
6. Применение методов математической логики при создании моделей баз данных и языков программирования

   Смоян, Магмад Асоевич · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
7. Индуктивный синтез программ обработки символьных последовательностей

   Чужанова, Надежда Алексеевна · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
8. Спецификация абстрактных типов данных с помощью систем подстановок термов

   Кучеров, Григорий Аронович · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
9. Инструментальные программные средства построения продукционных систем и интеллектуальных ППП

   Ковалевская, Жанна Викторовна · 1988 · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
10. Преобразования доказательств и синтез программ

    Минц, Григорий Ефроимович · 1988 · Докт. наук

    • 01.01.06 Математическая логика, алгебра и теория чисел
    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
11. Исследование и разработка распределенных программных объектов

    Смирнов, Юрий Петрович · 1987 · Канд. наук · Научный совет по комплексной проблеме "Кибернетика"

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
12. Разработка и исследование методов автоматической генерации тестов по формальному списанию лингвистических процессоров

    Лелеков, Сергей Георгиевич · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
13. Аспекты анализа и проектирования схем без данных с функциональными зависимостями

    Котеля, Виталий Васильевич · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
14. Разработка системы параллельного программирования для комплексов СМ ЭВМ

    Ким, Евгений Константинович · 1987 · Канд. наук

    • 05.12.13 Системы, сети и устройства телекоммуникаций
    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
15. Алгоритмы и анализ погрешностей выполнения арифметических операций на векторно- конвейерной ЭВМ

    Боярский, Александр Евгеньевич · 1987 · Канд. наук · Научный Совет АН СССР по комплексной проблеме "Кибернетика"

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
16. Разработка унифицированных методов и модульных средств для программирования систем автоматизации спектрометрических экспериментов на импульсных источниках нейтронов

    Островной, Александр Иванович · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
17. Методы организации данных в системе управления базами данных СИРИУС

    Фрейдлин, Иосиф Яковлевич · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
18. Исследование и разработка интегрированной системы создания программного обеспечения на основе динамической среды программирования

    Клочков, Михаил Евгеньевич · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
19. Разработка и создание программного обеспечения для лазерного графопостроителя растрового типа

    Нечаев, Юрий Сергеевич · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
20. Средства повышения качества диалоговых маршрутных систем

    Микаилов, Горхмаз Эйваз оглы · 1987 · Канд. наук

    • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей