Структурні підрозділи

Кафедра: Теорії та технології програмування


ID: 6739
Кількість показів: 3159
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
On Two Representations of Concurrent Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Проблеми програмування
т.6 c.192-199
2
Монографія
1. Enhanced technology of efficient Internet retrieval for relevant information using inductive processing of search results


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Information Science & Computing. Intern. Book Series. – Intelligent Processing. – ITHEA
3
Монографія
4. Інформатика: візуальне програмування: навчально-методичний посібник


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
Херсон: ОЛДІ-ПЛЮС
4
Наукова стаття
A Formal Proof of Correctness of a Distributed Presentation Software System


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Proceedings of International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer (ICTERI)
c.467-487
5
Наукова стаття
A Formal Proof of Properties of a Presentation System using Isabelle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2018
Ukraine Conference on Electrical and Computer Engineering (UKRCON)
6
Наукова стаття
Block-Diagonal Approach to Non-Negative Factorization of Sparse Linguistic Matrices and Tensors of Extra-Large Dimension Using the Latent Dirichlet Distribution


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Насіров Еміл Мехдієвич
2018
Cybernetics and Systems Analysis
т.54 c.853-859
7
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Coleção CLE
c.203-251
8
Наукова стаття
Composition-nominative logics as institutions


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
c.221-238
9
Наукова стаття
Construction and research of the generalized iterative GMDH algorithm with active neurons


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Advances in Intelligent Systems and Computing
c.492-510
10
Наукова стаття
Dynamically changing user interfaces: software solutions based on automatically collected user information


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Proceedings of the Institute for System Programming
c.207-220

Повернення до списку

Вгору