|
Загалом робіт:2087
1751. Емельянов, Павел Геннадьевич. Методы и средства статического анализа семантических свойств программ
Рік: 1997 1752. Капитонова, Алла Петровна. Методы и средства прогнозирования времени выполнения последовательных фрагментов программ на вычислителях с различной архитектурой
Рік: 1997 1753. Карминский, Сергей Александрович. Исследование и разработка класса пользовательских интерфейсов заказных и тиражируемых программных комплексов
Рік: 1997 1754. Каширин, Игорь Юрьевич. Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации
Рік: 1997 1755. Клепцов, Михаил Яковлевич. Методология разработки и внедрения программно-математического и информационного обеспечения систем органов государственного управления
Рік: 1997 1756. Ковтун, Игорь Иванович. Матрично-реляционная модель данных в организационно-производственных системах мониторинга и управления
Рік: 1997 1757. Ластовецкий, Алексей Леонидович. Язык и система параллельного программирования для разработки программ, эффективно переносимых в классе распределенных вычислительных систем
Рік: 1997 1758. Мальчик, Александра Геннадьевна. Получение, физико-химические свойства и применение силикатных тонкопленочных систем SiO2-Bi2 O3 и SiO2-Ta2 O5
Рік: 1997 1759. Мельников, Борис Феликсович. Применение свойств специальных моноидов в теории формальных языков
Рік: 1997 1760. Менделевич, Владимир Анатольевич. Система сквозного проектирования автоматизированных систем управления промышленными объектами на примере энергетических станций
Рік: 1997 1761. Мирошниченко, Евгений Александрович. Технология проектирования параллельного и распределенного программного обеспечения с использованием PS - сетей
Рік: 1997 1762. Михайлова, Елена Георгиевна. Индексирование во временных базах данных
Рік: 1997 1763. Молчанов, Алексей Юрьевич. Методы и средства моделирования и анализа на основе F-сетей
Рік: 1997 1764. Нигиян, Семен Александрович. Функциональные и логические языки программирования : Формализация, анализ, интерпретация
Рік: 1997 1765. Никитина, Елена Юрьевна. Системная поддержка процессов проектирования в условиях неопределенности
Рік: 1997 1766. Пономарев, Аскольд Анатольевич. Математические методы и технические способы защиты информации внешних запоминающих устройств
Рік: 1997 1767. Рощин, Александр Алексеевич. Математическое и программное обеспечение САПР систем управления
Рік: 1997 1768. Рыбалка, Сергей Анатольевич. Математическое и программноеобеспечение генерирования векторныхсплайн-изображений с оценкой качества вметрике Хаусдорфа
Рік: 1997 1769. Серов, Владимир Васильевич. Математические методы, алгоритмы и программные системы для решения прикладных задач качественного характера при логическом представлении нечетких знаний
Рік: 1997 1770. Тарасюк, Игорь Валерьевич. Эквивалентностные понятия для моделей параллельных и распределенных систем
Рік: 1997 1771. Телюк, Тарас Михайлович. Математические и программные способы для размещения элементов методом скановальной области
Рік: 1997 1772. Устименко, Александр Петрович. Причинно-следственные структуры и сети Петри: взаимосвязь и сравнительный анализ
Рік: 1997 1773. Фан Дат Фук. Трехмерное моделирование ина основе параметрическох объединений
Рік: 1997 1774. Фролов, Андрей Петрович. Автоматизация программирования вычислений над вещественными числами посредством операций целочисленной арифметики
Рік: 1997 1775. Хаджаева, Наргисхон Назаровна. Интеллектуальные задачи программы для решения задач механики связанной системы твердых тел на основе логико-сетевой технологии
Рік: 1997 1776. Халатян, Тигран Гургенович. Развитие методов и средств программирования на основе компьютерного исчисления древовидных структур
Рік: 1997 1777. Чернойван, Константин Геннадьевич. Разработка и исследование оптимизаций логического вывода в системах декларативных продукций
Рік: 1997 1778. Чжу-Чуань Шэн. Концепция открытых систем в проектировании информационных систем прикладного характера
Рік: 1997 1779. Щербаков, Андрей Юрьевич. Методы синтеза систем безопасности в распределенных компьютерных системах на основе создания изолированной программной среды
Рік: 1997 1780. Яхно, Татьяна Михайловна. Средства представления и методы обработки знаний в интеллектуальных системах
Рік: 1997 1781. Бакалов, Юрий Валерьевич. Алгоритмический анализ поведения распределенных программ
Рік: 1996 1782. Балынец, Светлана Владимировна. Имитационная модель как средство объединения разнородных моделей : На примере города
Рік: 1996 1783. Бобков, Валерий Александрович. Технология обработки проблемно-ориентированной графической информации
Рік: 1996 1784. Бородин, Руслан Валентинович. Исследование и разработка методов и системпрограммного обеспечения анализа данных,характеризующих радиационное загрязнениеокружающей среды
Рік: 1996 1785. Братусь, Александр Васильевич. Система индуктивного вывода на основе модифицированного GUHA-метода
Рік: 1996 1786. Брыль, Владимир Николаевич. Разработка и исследование методов и средств построения адаптивных диагностических систем
Рік: 1996 1787. Бурцев, Алексей Анатольевич. Расширение языков программирования средствами обработки исключительных ситуаций
Рік: 1996 1788. Волкович, Олег Геннадиевич. Программное обеспечение интеллектуального решателя задач механики роботов
Рік: 1996 1789. Горшков, Сергей Леонидович. Разработка методов и инструментальных средств обнаружения тупиков в пралельных программах
Рік: 1996 1790. Гриценко, Дмитрий Владимирович. Методы и средства параллельно-рекурсивного программирования для транспортных комплексов
Рік: 1996 1791. Зорина, Елена Ивановна. Технологические аспекты проектирования программного обеспечения систем управления гомогенными объектами (на примере микропроцессорной централизации)
Рік: 1996 1792. Кимельман, Михаил Леонидович. Исследование и разработка подсистемы SQL сервера
Рік: 1996 1793. Климов, Антон Александрович. Разработка и экспериментальная реализация интеграции переборных средств языков Пролог и Рефал в синтаксическую среду языка Турбо Паскаль
Рік: 1996 1794. Ключников, Геннадий Алексеевич. Программно-аппаратный комплекс Система сбора данных установки ВЕС
Рік: 1996 1795. Коваленко, Алексей Алексеевич. Разработка методов и средств спецификации взаимодействия распределенныхсистем на основе композициональных сетей Петри
Рік: 1996 1796. Кольцов, Дмитрий Владимирович. Верификация объектов и сервисов в распределенных системах
Рік: 1996 1797. Крашенинников, Сергей Вениаминович. Управление данными в системе Таблично-ориентированного программирования
Рік: 1996 1798. Кулик, Борис Александрович. Методы уменьшения трудоемкости решения сложных интеллектуальных задач на основе алгебры кортежей
Рік: 1996 1799. Мамедова, Ирада Гариб кызы. Некоторые вопросы технологии распараллеливания задач численного анализа и ее программной поддержки
Рік: 1996 1800. Мартишин, Сергей Анатольевич. Разработка и исследование эффективности алгоритмов решения больших задач вычислительной геометрии
Рік: 1996 |
