- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
Тип роботи:
диссертация доктора физико-математических наук в
Рік:
2003
Кількість сторінок:
59
Артикул:
15238 179 грн
Рекомендовані дисертації
- Программное обеспечение диалога в задачах анализа и обработки экспериментальных данных в физике высоких энергий
- Методы и алгоритмы распараллеливания объектного кода для процессоров с программным управлением функциональными устройствами
- Математическое и программное обеспечение обработки многомерных данных нейронными сетями
- Разработка и исследование методов повышения скорости доступа к удалённым данным в распределённых вычислительных системах
- Математическое и программное обеспечение поддержки принятия решений при выборе структур микроконтроллерных систем
- Методы управления транзакциями в XML-ориентированных СУБД
- Математическое и программное обеспечение массивно-параллельных вычислений в распределенных системах на базе аппарата нейронных сетей
- Специализированные базы данных для статистической обработки информации
- Методы интерактивной визуализации и обработки трехмерных данных на основе изображений
- Организация сетевых структур знаний, поддерживающая их редактирование