|
Total work:2121
1851. Гаврилов, Александр Викторович. Настраиваемая система программирования для категориальных вычислений
the year: 1995 1852. Гольцева, Людмила Владимировна. Аппликативная вычислительная система с интенсиональными отношениями
the year: 1995 1853. Гордиенко, Александр Петрович. Объектно-ориентированный подход к управлению пользовательским интерфейсом в графических редакторах САПР
the year: 1995 1854. Гуревич, Михаил Исаевич. Архитектура программ для решения уравнения переноса методом Монте-Карло
the year: 1995 1855. Долбин, Алексей Николаевич. Информационная система организации архивов ядерных данных на основе реляционной СУБД
the year: 1995 1856. Домбровская, Генриэтта Ромуальдовна. Низкоуровневая поддержка нестандартных моделей транзакций в системе хранения
the year: 1995 1857. Егоров, Алексей Александрович. Численная сертификация алгоритмов и программ
the year: 1995 1858. Кадач, Андрей Викторович. Эффективные алгоритмы неискажающего сжатия текстовой информации
the year: 1995 1859. Казарцев, Алексей Александрович. Алгоритм поиска в базе данных, основанный на аппроксимации распределения адресов в индексе
the year: 1995 1860. Квашнин, Геннадий Александрович. Инструментальная среда для разработки проблемно-ориентированных систем
the year: 1995 1861. Клименков, Евгений Владимирович. Разработка и создание прикладного программного обеспечения для контроля и управления быстроцикличным бустерным синхротроном ИФВЭ
the year: 1995 1862. Кочетов, Дмитрий Викторович. Эффективная специализация алголоподобных программ
the year: 1995 1863. Кузина, Лариса Николаевна. Автоматизированное формирование семантических моделей сложных объектов по текстовым источникам
the year: 1995 1864. Лаврова, Юлия Кимовна. Методика разработки кодогенерирующей части трансляторов на примере семейства трансляторов с Алгола 68
the year: 1995 1865. Малков, Алексей Николаевич. Методы и организация обработки видеоданных на борту автоматической станции контроля космического пространства
the year: 1995 1866. Манцивода, Андрей Валерьевич. Логическое программирование в ограничениях: семантический подход
the year: 1995 1867. Марков, Николай Григорьевич. Теоретические основы и инструментальные средства для создания математического и программного обеспечення геофизических измерительно-вычислительных систем
the year: 1995 1868. Мох'д Гассан Изеддин Абаза. Модели и методы поиска оптимальных программных реализации простых зацикленных алгоритмов
the year: 1995 1869. Никифоров, Сергей Васильевич. Исследование принципов и разработка программных средств управления узлами микропроцессорных сетей
the year: 1995 1870. Панков, Сергей Владимирович. Верификация асинхронных параллельных систем на основе L-программ
the year: 1995 1871. Парфенов, Владимир Владимирович. Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода
the year: 1995 1872. Роганов, Евгений Александрович. Организация пользовательских интерфейсов ибиблиотеки ввода-вывода в среде разработкипрограмм С-Talk
the year: 1995 1873. Семионенков, Михаил Николаевич. Разработка и реализация программного обеспечения и алгоритмов базовой компьютерной графики для двумерного и трехмерного растра
the year: 1995 1874. Соловьев, Игорь Павлович. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка пролог
the year: 1995 1875. Тарханян, Анаит Геворговна. Анализ и выбор распределенных информационно-вычислительных систем на основе оптимизационно-имитационных схем
the year: 1995 1876. Токарев Михаил Валентинович. Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения
the year: 1995 1877. Точилов, Леонид Сергеевич. Интегрированная система автоматизации испытаний для одного класса моделирующих стендовых комплексов
the year: 1995 1878. Ульянов, Денис Эдуардович. Разработка и реализация системы конфигурирования программ для транспьютерных сетей
the year: 1995 1879. Фадеев, Валерий Васильевич. Средства проектирования программ бортового комплекса управления на базе гипертекста
the year: 1995 1880. Чяпайте, Юрате. Параллельные алгоритмы для конструктивных операций над многоранными телами
the year: 1995 1881. Александрович, Андрей Евгеньевич. Разработка методов и средств обеспечения и анализа надежности отказоустойчивых вычислительных систем
the year: 1994 1882. Анисимов Николай Александрович. Композиционные методы разработки протоколов на основе сетей Петри
the year: 1994 1883. Анисимов, Николай Александрович. Композициональные методы разработки протоколов на основе сетей Петри
the year: 1994 1884. Баринов, Валерий Викторович. Разработка методов и программных средств исследования качества функционирования протоколов управления звеном данных
the year: 1994 1885. Болтаев, Тельман Бакоевич. Анализ и интерпретация незавершенных программ при структурном конструировании
the year: 1994 1886. Борова, Елена Николаевна. Разработка методов представления и обработки некорректных данных и знаний в интеллектуальных информационных системах
the year: 1994 1887. Бранцевич, Петр Юльянович. Разработка моделей и программного обеспечения автоматизированной системы управления виброиспытаниями
the year: 1994 1888. Валькевич, Татьяна Арнольдовна. Инструментальные средства поддержки обработки онтологической информации программных структур многокомпонентного программирования
the year: 1994 1889. Васильев, Сергей Андреевич. Комплекс распределенного программирования C. dis
the year: 1994 1890. Глямжа, Алдас Йоно. Исследование методов автоматизированного плотного размещения разногабаритных электронных радиоэлементов
the year: 1994 1891. Горитов, Александр Николаевич. Автоматизированная обработка геометрической информации в комплексе автоматизированного моделирования
the year: 1994 1892. Делчев, Камен Кръстев. Алгоритмическое и программное обеспечение систем управления робототехнических комплексов
the year: 1994 1893. Еремеев, Александр Павлович. Методы и инструментальные средства проектирования систем поддержки принятия решений продукционного типа
the year: 1994 1894. Зенкевич, Станислав Леонидович. Управление, моделирование и программное обеспечение сложных робототехнических систем
the year: 1994 1895. Иванец, Сергей Владимирович. Автоматизация деятельности авиадиспетчера: подход на основе исполняемых спецификаций
the year: 1994 1896. Калмыкова, Ирина Аркадьевна. Планирование параллельных вычислительных процессов на базе клеточных алгоритмов преобразования ордеревьев
the year: 1994 1897. Кораблин, Юрий Прокофьевич. Семантические методы анализа распределенных систем
the year: 1994 1898. Косых, Валерий Семенович. Разработка и исследование методов оптимизации передачи информации в вычислительных сетях путемдинамического регулирования загрузки
the year: 1994 1899. Крылов, Евгений Владимирович. Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов
the year: 1994 1900. Кузьминов, Тимофей Владимирович. Интегрирующие интерфейсы в кросс-системе программирования
the year: 1994 |
