- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Расширение предикатных формул линейными неравенствами и списками для спецификации программ
Тип роботи:
Кандидатская
Рік:
2006
Артикул:
337238 179 грн
Рекомендовані дисертації
- Формальная модель контекстно-зависимых программных структур и их преобразований в применении к методологии Language-Driven Development
- Система процедур ДСМ-метода автоматического порождения гипотез и ее реализации
- Анализ однолинейных систем массового обслуживания с повторными заявками
- Метод древесных сумм и его приложение к решению математических проблем классической статистической механики
- Модели и алгоритмы многомасштабного представления данных для высокопроизводительной визуализации геоповерхностей
- Пирамидальное распознавание изображений на основе бинарных структур
- Исследование и разработка методов расчета нагрузки и проектирования сети подвижной связи
- Моделирование и алгоритмизация процессов геометрического проектирования изделий из листового материала
- Выделение защитной информации на изображениях текстурированных полиграфических изделий
- Колмогоровская ε-энтропия глобальных аттракторов динамических систем