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

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


ID: 6739
Кількість показів: 2833
дата змінення: 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
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


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


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


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


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
Мельников Єгор
2018
Lecture Notes in Computer Science
т.10859 c.281-289

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

Вгору