|
Всего работ:2121
1701. Некрестьянов, Игорь Сергеевич. Тематико-ориентированные методы информационного поиска
Год: 2000 1702. Никифоров, Игорь Сергеевич. Разработка средств поддержки процесса навигации в гипермедиа системах
Год: 2000 1703. Николайчук, Ольга Анатольевна. Математическое и программное обеспечение исследования безопасности нефтехимических комплексов
Год: 2000 1704. Павлова, Екатерина Юрьевна. Некоторые аспекты поддержки целостности в базах данных
Год: 2000 1705. Полилова Татьяна Алексеевна. Инфраструктура регионального образовательного Интернет - пространства
Год: 2000 1706. Поляков Алексей Юрьевич. Визуальная технология решения задач проектирования технических устройств и систем
Год: 2000 1707. Рыбин Сергей Владимирович. Программно-аналитический метод анализа и управления распределением ресурсов вычислительных систем на основе композитных моделей
Год: 2000 1708. Савкин, Иван Николаевич. Математическое и программное обеспечение моделирования стохастических временных рядов
Год: 2000 1709. Сарайкин, Андрей Витальевич. Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей
Год: 2000 1710. Суров Вадим Валерьевич. Исследование задач и методы их решения для одного класса систем логических соотношений
Год: 2000 1711. Тучинский, Сергей Владимирович. Математическое и программное обеспечение микропроцессорной системы управления потенциально опасными объектами
Год: 2000 1712. Федоткин, Дмитрий Иванович. Математическое и программное обеспечение процессов пространственной привязки космических изображений по электронным картам
Год: 2000 1713. Феоктистов, Александр Геннадьевич. Графическая инструментальная среда для визуального построения и применения пакетов программ
Год: 2000 1714. Филатов Вячеслав Валерьевич. Создание программно-математических средств для автоматизации книгорассылочной деятельности предприятия
Год: 2000 1715. Фофанов, Василий Александрович. Внешнее тестирование интерфейсных библиотек : На примере интерфейса ASIS
Год: 2000 1716. Хмельнов, Алексей Евгеньевич. Язык FlexT для спецификации бинарных форматов данных
Год: 2000 1717. Хухлаев, Евгений Валентинович. Информационное обеспечение регионального пространства учебно-методической литературы на основе Интернет
Год: 2000 1718. Червенчук Игорь Владимирович. Специализированные базы данных для статистической обработки информации
Год: 2000 1719. Чижов, Александр Владимирович. Ограничения целостности в геометрических моделях графических редакторов
Год: 2000 1720. Чурина, Татьяна Геннадьевна. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня
Год: 2000 1721. Шалфеева Елена Арефьевна. Разработка и исследование методов и средств формального специфицирования моделей и метрик программ
Год: 2000 1722. Ширапов, Булат Дашадондокович. Программная система МЭПР для моделирования и многокритериальной оценки вариантов регионального развития
Год: 2000 1723. Шувиков, Сергей Владимирович. Методы и алгоритмы распараллеливания объектного кода для процессоров с программным управлением функциональными устройствами
Год: 2000 1724. Щукин Александр Валентинович. Разработка и исследование подсистемы трассировки заказных СБИС
Год: 2000 1725. Баутин, Олег Олегович. Создание диалоговой системы проектирования сотовых сетей
Год: 1999 1726. Беленко, Вячеслав Сергеевич. Анализ дискретных параллельных систем на основе графа условно-достижимых состояний F-сетевых моделей
Год: 1999 1727. Белоусов, Алексей Леонидович. Методы организации систем управления данными на основе нумерационных методов и интервальных вычислений
Год: 1999 1728. Благодаров, Андрей Витальевич. Математическое и программное обеспечение интеллектуальных процедур идентификации состояния дискретного канала сети передачи данных
Год: 1999 1729. Востриков, Алексей Алексеевич. Математическое и программное обеспечение подсистемы анализа граничных условий лучистого теплового потока в системах конечно-элементных расчетов
Год: 1999 1730. Гаевой, Виталий Анатольевич. Разработка способа и средств реализации программ на основе системы функциональных продукций
Год: 1999 1731. Гурьева, Яна Леонидовна. Вычислительная технология метода конечных объемов
Год: 1999 1732. Еремин Сергей Владимирович. Создание распределенного программного комплекса сбора, хранения и обработки информации в банковской сфере
Год: 1999 1733. Леонова Наталия Михайловна. Методы разработки и применения многофункциональных сетевых электронных учебников
Год: 1999 1734. Петров, Евгений Сергеевич. Методы интеграции логического программирования и программирования в ограничениях
Год: 1999 1735. Покозий, Екатерина Александровна. Методы спецификации и верификации параллельных моделей с непрерывным временем
Год: 1999 1736. Пузыня, Сергей Валентинович. Управление качеством визуализации в САПР
Год: 1999 1737. Савочкин Андрей Владимирович. Комплексный подход к обеспечению безопасности компьютерных систем и сетей, подключенных к Internet
Год: 1999 1738. Субботин, Алексей Викторович. Автоматизированное формирование лингвистических баз знаний : Интеграционный подход
Год: 1999 1739. Суснина, Алла Васильевна. Математическое и программное обеспечение системы прогнозирования рецидивирующего инфаркта миокарда на основе искусственных нейронных сетей
Год: 1999 1740. Тарасенко, Владимир Феликсович. Методы построения автоматизированных информационных систем для финансового менеджмента
Год: 1999 1741. Удальцов, Сергей Владимирович. Технология разработки адаптивных систем дистанционного обучения на основе интеллектуальных программных агентов
Год: 1999 1742. Аникин, Владимир Семенович. Приближения многомерных функций в задачах автоматизации проектирования, управления и математической физики
Год: 1998 1743. Ануреев, Игорь Сергеевич. Системы переписывания формул и их применение в автоматической верификации программ
Год: 1998 1744. Аристова, Наталья Игоревна. Автоматизированное проектирование средств взаимодействия пользователя с ППП
Год: 1998 1745. Богданов, Николай Григорьевич. Метод и средство контроля силы натяжения провода с развертывающим частотным преобразованием
Год: 1998 1746. Болдырев, Михаил Николаевич. Применение нейросетевых алгоритмов в системах поддержки принятия решений при решении бизнес-задач
Год: 1998 1747. Васильев, Николай Петрович. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей
Год: 1998 1748. Вылиток, Алексей Александрович. Магазинные автоматы и характеризация регулярных языков
Год: 1998 1749. Демин, Антон Юрьевич. Проектирование и оценка качества программ на основе структурно-графических представлений
Год: 1998 1750. Евреинов, Григорий Евгеньевич. Исследование и разработка графического интерфейса с использованием альтернативных средств ввода-вывода
Год: 1998 |
