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