- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Тип роботи:
Кандидатская
Рік:
2012
Артикул:
1005506694 179 грн
Рекомендовані дисертації
- Алгоритмическое и программное обеспечение для моделирования квантового компьютера
- Математическое обеспечение процессов сегментации многозональных космических изображений на основе стохастических дифференциальных систем
- Исследование эффективности параллельных вычислений на кластере Московского энергетического института : технического университета
- Технология разработки композитных приложений с использованием предметно-ориентированных программных модулей
- Графическая инструментальная среда для визуального построения и применения пакетов программ
- Математическое и программное обеспечение моделирования стохастических временных рядов
- Методы и средства построения представлений унаследованной информационной системы в процессе реинжиниринга
- Восстановление параметров дискретных устройств, основанное на переоценке вероятностей с использованием действительных пороговых соотношений
- Исследование и реализация программного комплекса для решения задач большой размерности на примере рассеяния волн на сложных структурах
- Методика анализа защищенных систем IP-телефонии