- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Системы переписывания формул и их применение в автоматической верификации программ
Тип роботи:
Кандидатская
Рік:
1998
Артикул:
1000208052 179 грн
Рекомендовані дисертації
- Математическое и программное обеспечение построения списков семантически близких слов на основе рейтинга вики-текстов
- Исследование и разработка системы управления бизнес-процессами
- Модели и алгоритмы обработки мультимедийной информации, учитывающие особенности человеческого восприятия
- Автоматическая генерация программных компонент по высокоуровневым спецификациям
- Разработка математического обеспечения специализированных систем контроля цифровых узлов на основе автоморфизмов тестовых последовательностей
- Метод декомпозиции алгоритмов систем технического зрения на параллельно-конвейерное программно-аппаратное исполнение в архитектуре ПЛИС-ЦСП
- Математическое и программное обеспечение полнотекстового поиска в базах данных на основе концептуального моделирования
- Применение интернет-технологий и геоинформационных систем для моделирования территориально-распределенных процессов
- Математическое и программное обеспечение составления расписания учебных занятий на основе агрегативных генетических алгоритмов
- Программное и математическое обеспечение системы репликации данных СУБД независимых платформ