Загалом робіт:2062
1801. Квашнин, Геннадий Александрович. Инструментальная среда для разработки проблемно-ориентированных систем Рік: 1995 1802. Клименков, Евгений Владимирович. Разработка и создание прикладного программного обеспечения для контроля и управления быстроцикличным бустерным синхротроном ИФВЭ Рік: 1995 1803. Кочетов, Дмитрий Викторович. Эффективная специализация алголоподобных программ Рік: 1995 1804. Кузина, Лариса Николаевна. Автоматизированное формирование семантических моделей сложных объектов по текстовым источникам Рік: 1995 1805. Лаврова, Юлия Кимовна. Методика разработки кодогенерирующей части трансляторов на примере семейства трансляторов с Алгола 68 Рік: 1995 1806. Малков, Алексей Николаевич. Методы и организация обработки видеоданных на борту автоматической станции контроля космического пространства Рік: 1995 1807. Манцивода, Андрей Валерьевич. Логическое программирование в ограничениях: семантический подход Рік: 1995 1808. Марков, Николай Григорьевич. Теоретические основы и инструментальные средства для создания математического и программного обеспечення геофизических измерительно-вычислительных систем Рік: 1995 1809. Мох'д Гассан Изеддин Абаза. Модели и методы поиска оптимальных программных реализации простых зацикленных алгоритмов Рік: 1995 1810. Никифоров, Сергей Васильевич. Исследование принципов и разработка программных средств управления узлами микропроцессорных сетей Рік: 1995 1811. Панков, Сергей Владимирович. Верификация асинхронных параллельных систем на основе L-программ Рік: 1995 1812. Парфенов, Владимир Владимирович. Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода Рік: 1995 1813. Роганов, Евгений Александрович. Организация пользовательских интерфейсов ибиблиотеки ввода-вывода в среде разработкипрограмм С-Talk Рік: 1995 1814. Семионенков, Михаил Николаевич. Разработка и реализация программного обеспечения и алгоритмов базовой компьютерной графики для двумерного и трехмерного растра Рік: 1995 1815. Соловьев, Игорь Павлович. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка пролог Рік: 1995 1816. Тарханян, Анаит Геворговна. Анализ и выбор распределенных информационно-вычислительных систем на основе оптимизационно-имитационных схем Рік: 1995 1817. Токарев Михаил Валентинович. Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения Рік: 1995 1818. Точилов, Леонид Сергеевич. Интегрированная система автоматизации испытаний для одного класса моделирующих стендовых комплексов Рік: 1995 1819. Ульянов, Денис Эдуардович. Разработка и реализация системы конфигурирования программ для транспьютерных сетей Рік: 1995 1820. Фадеев, Валерий Васильевич. Средства проектирования программ бортового комплекса управления на базе гипертекста Рік: 1995 1821. Чяпайте, Юрате. Параллельные алгоритмы для конструктивных операций над многоранными телами Рік: 1995 1822. Александрович, Андрей Евгеньевич. Разработка методов и средств обеспечения и анализа надежности отказоустойчивых вычислительных систем Рік: 1994 1823. Анисимов Николай Александрович. Композиционные методы разработки протоколов на основе сетей Петри Рік: 1994 1824. Анисимов, Николай Александрович. Композициональные методы разработки протоколов на основе сетей Петри Рік: 1994 1825. Баринов, Валерий Викторович. Разработка методов и программных средств исследования качества функционирования протоколов управления звеном данных Рік: 1994 1826. Болтаев, Тельман Бакоевич. Анализ и интерпретация незавершенных программ при структурном конструировании Рік: 1994 1827. Борова, Елена Николаевна. Разработка методов представления и обработки некорректных данных и знаний в интеллектуальных информационных системах Рік: 1994 1828. Бранцевич, Петр Юльянович. Разработка моделей и программного обеспечения автоматизированной системы управления виброиспытаниями Рік: 1994 1829. Валькевич, Татьяна Арнольдовна. Инструментальные средства поддержки обработки онтологической информации программных структур многокомпонентного программирования Рік: 1994 1830. Васильев, Сергей Андреевич. Комплекс распределенного программирования C. dis Рік: 1994 1831. Глямжа, Алдас Йоно. Исследование методов автоматизированного плотного размещения разногабаритных электронных радиоэлементов Рік: 1994 1832. Горитов, Александр Николаевич. Автоматизированная обработка геометрической информации в комплексе автоматизированного моделирования Рік: 1994 1833. Делчев, Камен Кръстев. Алгоритмическое и программное обеспечение систем управления робототехнических комплексов Рік: 1994 1834. Еремеев, Александр Павлович. Методы и инструментальные средства проектирования систем поддержки принятия решений продукционного типа Рік: 1994 1835. Зенкевич, Станислав Леонидович. Управление, моделирование и программное обеспечение сложных робототехнических систем Рік: 1994 1836. Иванец, Сергей Владимирович. Автоматизация деятельности авиадиспетчера: подход на основе исполняемых спецификаций Рік: 1994 1837. Калмыкова, Ирина Аркадьевна. Планирование параллельных вычислительных процессов на базе клеточных алгоритмов преобразования ордеревьев Рік: 1994 1838. Кораблин, Юрий Прокофьевич. Семантические методы анализа распределенных систем Рік: 1994 1839. Косых, Валерий Семенович. Разработка и исследование методов оптимизации передачи информации в вычислительных сетях путемдинамического регулирования загрузки Рік: 1994 1840. Крылов, Евгений Владимирович. Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов Рік: 1994 1841. Кузьминов, Тимофей Владимирович. Интегрирующие интерфейсы в кросс-системе программирования Рік: 1994 1842. Ле Куок Лонг. Метод создания и реализации графического интерфейса пользователя для работы со схемами баз данных Рік: 1994 1843. Недоря, Алексей Евгеньевич. Расширяемая переносимая система программирования, основанная на биязыковом подходе Рік: 1994 1844. Павлов, Михаил Владимирович. Тестирование диагностики трансляторов стандартизированных языков программирования с развитым статическим компонентом Рік: 1994 1845. Погудин, Юрий Михайлович. Языковой интерфейс для систем автоматизации микропрограммирования Рік: 1994 1846. Полякова, Ирина Николаевна. Синтаксический анализатор адаптивной системы общения человека с ЭВМ на естественном языке. Пунктуационный компонент Рік: 1994 1847. Правиков, Дмитрий Игоревич. Разработка и исследование методов создания корректных алгоритмов функционирования специализированных операционных систем Рік: 1994 1848. Пронина, Инна Генриховна. Методы и инструментальные средства поддержки продукционных баз знаний, содержащих правила с интервальными значениями характеристик в предикатах Рік: 1994 1849. Рагайшис, Саулюс Йоно. Исследование методов автоматизированной трассировки однослойных соединений Рік: 1994 1850. Резцова, Лариса Анатольевна. Настраиваемая среда активного обучения программированию на базе языка Паскаль Рік: 1994 |