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