Пошуковий запит: (<.>U=З970.50-01$<.>) |
Загальна кількість знайдених документів : 17
Представлено документи з 1 до 17
|
1. ![](/irbis_nbuv/images/printer.jpg) | ДС57276 Али, Аднан Мохамед. Методы организации параллельных вычислений в системах дедуктивных баз данных [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Али Аднан Мохамед ; НАН Украины, Ин-т програм. систем. - К., 1998. - 165 л. - Библиогр.: л. 155-165.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт программных систем (Киев)
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | РА299167 Алі, Аднан Мохамед. Методи організації паралельних обчислень у системах дедуктивних баз даних [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Алі Аднан Мохамед ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1998. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | ВА597847 Соловьева, Екатерина Александровна. Естественная классификация: системологические основания [Текст] / Е. А. Соловьева ; Харьковский гос. технический ун-т радиоэлектроники. - Х. : ХТУРЭ, 1999. - 222 с.: рис. - Библиогр.: с. 184-188. - ISBN 5-7763-2727-ХРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харьковский гос. технический университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | ВА628135 Миронов, Александр Сергеевич. Статические банки знаний. Математическое и программное обеспечение [Текст] / А. С. Миронов. - М. : Машиностроение, 2001. - 144 с.: рис. - Библиогр.: с. 139-143. - ISBN 5-217-03080-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | ВА734494 Жежнич, Павло Іванович. Консолідовані інформаційні ресурси баз даних та знань [Текст] : навч. посіб. / П. І. Жежнич ; за заг. ред. д-ра техн. наук, проф. В. В. Пасічника ; Нац. ун-т "Львів. політехніка". - Л. : Вид-во Львів. політехніки, 2010. - 210 с. : рис. - (Серія "Консолідована інформація" ; вип. 7). - Бібліогр.: с. 199-210. - 200 прим. - ISBN 978-617-607-015-3. - ISBN 978-966-553-975-9 (серія)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Пасічник, В. В. (ред.); "Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | РА378574 Головянко, Марія Валентинівна. Методи та модель верифікації знань для інтелектуалізації WEB-контенту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Головянко Марія Валентинівна ; Харк. нац. ун-т радіоелектрон. - Х., 2011. - 19 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | ВА738505 Булкин, Виталий Иванович. Математические модели знаний и их реализация с помощью алгебропредикатных структур [Текст] : [монография] / В. И. Булкин, Н. В. Шаронова ; Нац. техн. ун-т "Харьк. политехн. ин-т", Макеев. экон.-гуманитар. ин-т. - Донецк : [Дмитренко Л. Р.], 2010. - 304 с. : рис., табл. - Бібліогр.: с. 289-300. - 300 прим. - ISBN 978-966-8965-80-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шаронова, Наталья Валерьевна; "Харьковский политехнический институт", национальный технический университетМакеевский экономико-гуманитарный институт
Видання зберігається у :
Основний фонд
|
8. ![](/irbis_nbuv/images/printer.jpg) | РА380819 Кеберле, Наталія Геннадіївна. Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Кеберле Наталія Геннадіївна ; Харк. нац. ун-т ім. В. Н. Каразіна. - Х., 2011. - 20 с. : табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет імені В. Н. Каразіна
Видання зберігається у :
Основний фонд
|
9. ![](/irbis_nbuv/images/printer.jpg) | ДС128610 Кеберле, Наталья Геннадьевна. Вычислительные методы верификации темпоральных ограничений целостности в процессе управления изменениями в онтологиях [Текст] : дис. ... канд. техн. наук : 01.05.02 / Кеберле Наталья Геннадьевна ; Запорож. нац. ун-т. - Запорожье, 2011. - 210 л. - Бібліогр.: арк. 152-168.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Запорожский национальный университет
Видання зберігається у :
Основний фонд
|
10. ![](/irbis_nbuv/images/printer.jpg) | ІС14433 Rügheimer, Frank Christopher. Knowledge representation with condensed set-valued attributes [Text] : diss. / Frank Christopher Rügheimer ; Fak. für Informatik der Otto-von-Guericke-Univ. Magdeburg. - Magdeburg : [s. n.], 2012. - 178 p. : fig. - Бібліогр.: с. 163-174Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Otto-von-Guericke-Universität (Magdeburg). Fakultät für Informatik
Видання зберігається у :
Основний фонд
|
11. ![](/irbis_nbuv/images/printer.jpg) | РА397620 Голян, Наталія Вікторівна. Предикатні моделі неявних зв'язків при процесному представленні знань [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Голян Наталія Вікторівна ; Харк. нац. ун-т радіоелектрон. - Х., 2013. - 19 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | РА400060 Білоіваненко, Максим Вікторович. Метод та моделі розширення семантики відношень онтологій за допомогою опису математичних залежностей між параметрами об'єктів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 / Білоіваненко Максим Вікторович ; Харк. нац. ун-т радіоелектрон. - Х., 2013. - 18 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
13. ![](/irbis_nbuv/images/printer.jpg) | РА405996 Khachatryan, Karen. Developing algorithms and programs for formation of and search in knowledge bases of combating problems [Text] = Разработка алгоритмов и программ для формирования и поиска в базах знаний проблем противодействия и конкуренции : auth. abstract of diss. ...of candidate of techn. sciences : 05.13.05 / Karen Khachatryan. - Yerevan, 2013. - 22 p. : fig. - Текст англ., анот. вірм., рос.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Хачатрян, Карен С.
Видання зберігається у :
Основний фонд
|
14. ![](/irbis_nbuv/images/printer.jpg) | РА413426 Марченко, Олександр Олександрович. Семантико-синтаксичні моделі природної мови. Тензорний підхід [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / Марченко Олександр Олександрович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2015. - 36 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
15. ![](/irbis_nbuv/images/printer.jpg) | РА423246 Шабанова-Кушнаренко, Любов Володимирівна. Предикатні моделі, методи та технологія обробки процесних знань в інформаційних системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Шабанова-Кушнаренко Любов Володимирівна ; Нац. техн. ун-т "Харків. політехн. ін-т". - Харків, 2016. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: "Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
16. ![](/irbis_nbuv/images/printer.jpg) | РА427836 Вовнянка, Роман Володимирович. Методи та засоби планування дій спеціалізованих інтелектуальних агентів на основі онтологічного підходу [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Вовнянка Роман Володимирович ; Нац. ун-т "Львів. політехніка". - Львів, 2017. - 20 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: "Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
|
17. ![](/irbis_nbuv/images/printer.jpg) | ДС143433 Головянко, Марія Валентинівна. Методи та модель верифікації знань для інтелектуалізації WEB-контенту [Текст] : дис. ... канд. техн. наук : 05.13.23 / Головянко Марія Валентинівна ; Харків. нац. ун-т радіоелектроніки. - Харків, 2010. - 163 арк. - Бібліогр.: арк. 146-163.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|