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