- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Тип роботи:
Дис. канд. наук
Рік:
2009
Артикул:
3409U002823 129 грн
Рекомендовані дисертації
- Алгоритми архівації на основі системи числення Штерна-Броко
- Метод керованої об'єктом реінженерії програмного забезпечення авіаційних тренажерів
- Композиційна семантика ядра SQL-подібних мов
- Ресурсне та організаційне забезпечення ефективного розвитку підприємств (за матерілами цукроивх заводів України)
- Метод та засоби редокументування успадкованого програмного забезпечення
- Дослідження методів захисту інформації в динамічних рівноправних групових середовищах
- Семантична база даних неструктурованих та структурованих документів з різноманітним реквізитним змістом
- Управління ключовою інформацією в системах захисту групових комунікацій.
- Високопаралельні алгоритми та засоби для розв'язання задач масових арифметичних і логічних обчислень
- Програмні засоби підтримки прийняття управлінських рішень щодо захисту інформації у автоматизованих системах