Total work:2062
1651. Суров Вадим Валерьевич. Исследование задач и методы их решения для одного класса систем логических соотношений the year: 2000 1652. Тучинский, Сергей Владимирович. Математическое и программное обеспечение микропроцессорной системы управления потенциально опасными объектами the year: 2000 1653. Федоткин, Дмитрий Иванович. Математическое и программное обеспечение процессов пространственной привязки космических изображений по электронным картам the year: 2000 1654. Феоктистов, Александр Геннадьевич. Графическая инструментальная среда для визуального построения и применения пакетов программ the year: 2000 1655. Филатов Вячеслав Валерьевич. Создание программно-математических средств для автоматизации книгорассылочной деятельности предприятия the year: 2000 1656. Фофанов, Василий Александрович. Внешнее тестирование интерфейсных библиотек : На примере интерфейса ASIS the year: 2000 1657. Хмельнов, Алексей Евгеньевич. Язык FlexT для спецификации бинарных форматов данных the year: 2000 1658. Хухлаев, Евгений Валентинович. Информационное обеспечение регионального пространства учебно-методической литературы на основе Интернет the year: 2000 1659. Червенчук Игорь Владимирович. Специализированные базы данных для статистической обработки информации the year: 2000 1660. Чижов, Александр Владимирович. Ограничения целостности в геометрических моделях графических редакторов the year: 2000 1661. Чурина, Татьяна Геннадьевна. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня the year: 2000 1662. Шалфеева Елена Арефьевна. Разработка и исследование методов и средств формального специфицирования моделей и метрик программ the year: 2000 1663. Ширапов, Булат Дашадондокович. Программная система МЭПР для моделирования и многокритериальной оценки вариантов регионального развития the year: 2000 1664. Шувиков, Сергей Владимирович. Методы и алгоритмы распараллеливания объектного кода для процессоров с программным управлением функциональными устройствами the year: 2000 1665. Щукин Александр Валентинович. Разработка и исследование подсистемы трассировки заказных СБИС the year: 2000 1666. Баутин, Олег Олегович. Создание диалоговой системы проектирования сотовых сетей the year: 1999 1667. Беленко, Вячеслав Сергеевич. Анализ дискретных параллельных систем на основе графа условно-достижимых состояний F-сетевых моделей the year: 1999 1668. Белоусов, Алексей Леонидович. Методы организации систем управления данными на основе нумерационных методов и интервальных вычислений the year: 1999 1669. Благодаров, Андрей Витальевич. Математическое и программное обеспечение интеллектуальных процедур идентификации состояния дискретного канала сети передачи данных the year: 1999 1670. Востриков, Алексей Алексеевич. Математическое и программное обеспечение подсистемы анализа граничных условий лучистого теплового потока в системах конечно-элементных расчетов the year: 1999 1671. Гаевой, Виталий Анатольевич. Разработка способа и средств реализации программ на основе системы функциональных продукций the year: 1999 1672. Гурьева, Яна Леонидовна. Вычислительная технология метода конечных объемов the year: 1999 1673. Еремин Сергей Владимирович. Создание распределенного программного комплекса сбора, хранения и обработки информации в банковской сфере the year: 1999 1674. Леонова Наталия Михайловна. Методы разработки и применения многофункциональных сетевых электронных учебников the year: 1999 1675. Петров, Евгений Сергеевич. Методы интеграции логического программирования и программирования в ограничениях the year: 1999 1676. Покозий, Екатерина Александровна. Методы спецификации и верификации параллельных моделей с непрерывным временем the year: 1999 1677. Пузыня, Сергей Валентинович. Управление качеством визуализации в САПР the year: 1999 1678. Савочкин Андрей Владимирович. Комплексный подход к обеспечению безопасности компьютерных систем и сетей, подключенных к Internet the year: 1999 1679. Субботин, Алексей Викторович. Автоматизированное формирование лингвистических баз знаний : Интеграционный подход the year: 1999 1680. Суснина, Алла Васильевна. Математическое и программное обеспечение системы прогнозирования рецидивирующего инфаркта миокарда на основе искусственных нейронных сетей the year: 1999 1681. Тарасенко, Владимир Феликсович. Методы построения автоматизированных информационных систем для финансового менеджмента the year: 1999 1682. Удальцов, Сергей Владимирович. Технология разработки адаптивных систем дистанционного обучения на основе интеллектуальных программных агентов the year: 1999 1683. Аникин, Владимир Семенович. Приближения многомерных функций в задачах автоматизации проектирования, управления и математической физики the year: 1998 1684. Ануреев, Игорь Сергеевич. Системы переписывания формул и их применение в автоматической верификации программ the year: 1998 1685. Аристова, Наталья Игоревна. Автоматизированное проектирование средств взаимодействия пользователя с ППП the year: 1998 1686. Богданов, Николай Григорьевич. Метод и средство контроля силы натяжения провода с развертывающим частотным преобразованием the year: 1998 1687. Болдырев, Михаил Николаевич. Применение нейросетевых алгоритмов в системах поддержки принятия решений при решении бизнес-задач the year: 1998 1688. Васильев, Николай Петрович. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей the year: 1998 1689. Вылиток, Алексей Александрович. Магазинные автоматы и характеризация регулярных языков the year: 1998 1690. Демин, Антон Юрьевич. Проектирование и оценка качества программ на основе структурно-графических представлений the year: 1998 1691. Евреинов, Григорий Евгеньевич. Исследование и разработка графического интерфейса с использованием альтернативных средств ввода-вывода the year: 1998 1692. Егошина, Татьяна Васильевна. Математическое и программное обеспечение формирования технологических процессов обработки данных в информационных системах the year: 1998 1693. Зудилова, Елена Валентиновна. Исследование и разработка методики проектирования адаптивных интерфейсов с учетом человеческого фактора the year: 1998 1694. Китов, Александр Данилович. Программное обеспечение компьютерного анализа геоизображений на основе данных дистанционного зондирования Земли the year: 1998 1695. Кольчугина, Елена Анатольевна. Системы управления временными базами данных для решения задач обработки информации в автоматизированных системах управления распределенными объектами the year: 1998 1696. Корниенко, Алексей Викторович. Реализация процессора компьютерной экспресс-диагностики и контроля функционального состояния человека the year: 1998 1697. Лупян, Евгений Аркадьевич. Построение информационных систем приема, обработки и распространения спутниковых данных с использованием технологий глобальных компьютерных сетей Интернет the year: 1998 1698. Маликова, Лариса Вячеславовна. Разработка математического и программного обеспечения для исследования исполняемых модулей с использованием теории алгоритмических алгебр и унификации алгебраических термов the year: 1998 1699. Мартынов, Максим Геннадьевич. Методы пространственного индексирования в СУБД the year: 1998 1700. Матвеев, Сергей Владимирович. Исследование и разработка алгоритмов визуального анализа и представления данных в физических приложениях the year: 1998 |