|
Всего работ:2121
1851. Гаврилов, Александр Викторович. Настраиваемая система программирования для категориальных вычислений Год: 1995 1852. Гольцева, Людмила Владимировна. Аппликативная вычислительная система с интенсиональными отношениями Год: 1995 1853. Гордиенко, Александр Петрович. Объектно-ориентированный подход к управлению пользовательским интерфейсом в графических редакторах САПР Год: 1995 1854. Гуревич, Михаил Исаевич. Архитектура программ для решения уравнения переноса методом Монте-Карло Год: 1995 1855. Долбин, Алексей Николаевич. Информационная система организации архивов ядерных данных на основе реляционной СУБД Год: 1995 1856. Домбровская, Генриэтта Ромуальдовна. Низкоуровневая поддержка нестандартных моделей транзакций в системе хранения Год: 1995 1857. Егоров, Алексей Александрович. Численная сертификация алгоритмов и программ Год: 1995 1858. Кадач, Андрей Викторович. Эффективные алгоритмы неискажающего сжатия текстовой информации Год: 1995 1859. Казарцев, Алексей Александрович. Алгоритм поиска в базе данных, основанный на аппроксимации распределения адресов в индексе Год: 1995 1860. Квашнин, Геннадий Александрович. Инструментальная среда для разработки проблемно-ориентированных систем Год: 1995 1861. Клименков, Евгений Владимирович. Разработка и создание прикладного программного обеспечения для контроля и управления быстроцикличным бустерным синхротроном ИФВЭ Год: 1995 1862. Кочетов, Дмитрий Викторович. Эффективная специализация алголоподобных программ Год: 1995 1863. Кузина, Лариса Николаевна. Автоматизированное формирование семантических моделей сложных объектов по текстовым источникам Год: 1995 1864. Лаврова, Юлия Кимовна. Методика разработки кодогенерирующей части трансляторов на примере семейства трансляторов с Алгола 68 Год: 1995 1865. Малков, Алексей Николаевич. Методы и организация обработки видеоданных на борту автоматической станции контроля космического пространства Год: 1995 1866. Манцивода, Андрей Валерьевич. Логическое программирование в ограничениях: семантический подход Год: 1995 1867. Марков, Николай Григорьевич. Теоретические основы и инструментальные средства для создания математического и программного обеспечення геофизических измерительно-вычислительных систем Год: 1995 1868. Мох'д Гассан Изеддин Абаза. Модели и методы поиска оптимальных программных реализации простых зацикленных алгоритмов Год: 1995 1869. Никифоров, Сергей Васильевич. Исследование принципов и разработка программных средств управления узлами микропроцессорных сетей Год: 1995 1870. Панков, Сергей Владимирович. Верификация асинхронных параллельных систем на основе L-программ Год: 1995 1871. Парфенов, Владимир Владимирович. Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода Год: 1995 1872. Роганов, Евгений Александрович. Организация пользовательских интерфейсов ибиблиотеки ввода-вывода в среде разработкипрограмм С-Talk Год: 1995 1873. Семионенков, Михаил Николаевич. Разработка и реализация программного обеспечения и алгоритмов базовой компьютерной графики для двумерного и трехмерного растра Год: 1995 1874. Соловьев, Игорь Павлович. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка пролог Год: 1995 1875. Тарханян, Анаит Геворговна. Анализ и выбор распределенных информационно-вычислительных систем на основе оптимизационно-имитационных схем Год: 1995 1876. Токарев Михаил Валентинович. Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения Год: 1995 1877. Точилов, Леонид Сергеевич. Интегрированная система автоматизации испытаний для одного класса моделирующих стендовых комплексов Год: 1995 1878. Ульянов, Денис Эдуардович. Разработка и реализация системы конфигурирования программ для транспьютерных сетей Год: 1995 1879. Фадеев, Валерий Васильевич. Средства проектирования программ бортового комплекса управления на базе гипертекста Год: 1995 1880. Чяпайте, Юрате. Параллельные алгоритмы для конструктивных операций над многоранными телами Год: 1995 1881. Александрович, Андрей Евгеньевич. Разработка методов и средств обеспечения и анализа надежности отказоустойчивых вычислительных систем Год: 1994 1882. Анисимов Николай Александрович. Композиционные методы разработки протоколов на основе сетей Петри Год: 1994 1883. Анисимов, Николай Александрович. Композициональные методы разработки протоколов на основе сетей Петри Год: 1994 1884. Баринов, Валерий Викторович. Разработка методов и программных средств исследования качества функционирования протоколов управления звеном данных Год: 1994 1885. Болтаев, Тельман Бакоевич. Анализ и интерпретация незавершенных программ при структурном конструировании Год: 1994 1886. Борова, Елена Николаевна. Разработка методов представления и обработки некорректных данных и знаний в интеллектуальных информационных системах Год: 1994 1887. Бранцевич, Петр Юльянович. Разработка моделей и программного обеспечения автоматизированной системы управления виброиспытаниями Год: 1994 1888. Валькевич, Татьяна Арнольдовна. Инструментальные средства поддержки обработки онтологической информации программных структур многокомпонентного программирования Год: 1994 1889. Васильев, Сергей Андреевич. Комплекс распределенного программирования C. dis Год: 1994 1890. Глямжа, Алдас Йоно. Исследование методов автоматизированного плотного размещения разногабаритных электронных радиоэлементов Год: 1994 1891. Горитов, Александр Николаевич. Автоматизированная обработка геометрической информации в комплексе автоматизированного моделирования Год: 1994 1892. Делчев, Камен Кръстев. Алгоритмическое и программное обеспечение систем управления робототехнических комплексов Год: 1994 1893. Еремеев, Александр Павлович. Методы и инструментальные средства проектирования систем поддержки принятия решений продукционного типа Год: 1994 1894. Зенкевич, Станислав Леонидович. Управление, моделирование и программное обеспечение сложных робототехнических систем Год: 1994 1895. Иванец, Сергей Владимирович. Автоматизация деятельности авиадиспетчера: подход на основе исполняемых спецификаций Год: 1994 1896. Калмыкова, Ирина Аркадьевна. Планирование параллельных вычислительных процессов на базе клеточных алгоритмов преобразования ордеревьев Год: 1994 1897. Кораблин, Юрий Прокофьевич. Семантические методы анализа распределенных систем Год: 1994 1898. Косых, Валерий Семенович. Разработка и исследование методов оптимизации передачи информации в вычислительных сетях путемдинамического регулирования загрузки Год: 1994 1899. Крылов, Евгений Владимирович. Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов Год: 1994 1900. Кузьминов, Тимофей Владимирович. Интегрирующие интерфейсы в кросс-системе программирования Год: 1994 |