Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей


Всего работ: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



ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ


Доставка любой диссертации из России и Украины


ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА