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