Пошук :
Довідка :
Електронний каталог : Кеберле Наталія Геннадіївна - Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в ...
Кеберле Наталія Геннадіївна - Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в ...
Автореферат/Дисертація
Автор: Кеберле Наталія Геннадіївна
Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в ... : автореф. дис. ... канд. техн. наук
Видавництво: [б.в.], 2011 г.
ISBN відсутній
Автор: Кеберле Наталія Геннадіївна
Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в ... : автореф. дис. ... канд. техн. наук
Видавництво: [б.в.], 2011 г.
ISBN відсутній
(UA) Автореферат
A 169671
Главный филиал
Кеберле, Наталія Геннадіївна.
Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях : автореф. дис ... канд. техн. наук : 01.05.02 / Наталія Геннадіївна Кеберле; В.о. Харків. нац. ун-т ім. В. Н. Каразіна.– Харків : [б.в.], 2011.– 20 с.
100 пр. – На укр. яз.
-- 1. Фізико-математичні науки – Інформатика і кібернетика – Математичне моделювання та обчислювальні методи.
A 169671
Главный филиал
Кеберле, Наталія Геннадіївна.
Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях : автореф. дис ... канд. техн. наук : 01.05.02 / Наталія Геннадіївна Кеберле; В.о. Харків. нац. ун-т ім. В. Н. Каразіна.– Харків : [б.в.], 2011.– 20 с.
100 пр. – На укр. яз.
-- 1. Фізико-математичні науки – Інформатика і кібернетика – Математичне моделювання та обчислювальні методи.