Видання

Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція


ID: 195629
Кількість показів: 456
дата змінення: 24.10.2017 12:02:25
Ким змінено (ім'я): (cyb13) Дмитро Терлецький
Видано:  в Україні
Місце знаходження:  Київ


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Матеріали конференції
Approximation of stochastic regular languages


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Трохимчук Ростислав Миколайович
2017
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.85-88
2
Матеріали конференції
Content based video retrieval


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Орлов Євгеній Андрійович
2017
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.72-77
3
Наукова стаття
Модель паралелізму в IPCL з породженням екземплярів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.131-133
4
Тези
Cложность алгоритмов пересечения, объединения и разности в мультитаблицах


Факультет інформаційних технологій
Прикладних інформаційних систем
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.121-126
5
Тези
Data analysis of video stream, detection and tracking of the objects


Факультет комп'ютерних наук та кібернетики

Прикладної статистики
Яцура Максим Володимирович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.285-287
6
Праці конференції
Fast and Precise Segmentation Approach for Breast Cancer Detection in Mammography Images


Факультет комп'ютерних наук та кібернетики

Прикладної статистики
Лисенко Олександр Олегович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.13 c.153-155
7
Тези
Gerec: multipurpose gesture recognized based on accelerometer sensor


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
Головіна Олександра Леонідівна
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
8
Матеріали конференції
Octave-програма dist2p для роздiлення двох полiедрiв


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стовба В.О.
Мартинюк І.С.
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.227-230
9
Праці конференції
The Institution-Theoretic Approach to Composition-Nominative Logics


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Ченцов Олексій Ілліч
Нікітченко Микола Степанович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.257-262
10
Праці конференції
Електронні бібліотеки в сучасній освіті


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.111-116
11
Тези
Недетерминированные функции в SQL


Факультет інформаційних технологій
Програмних систем і технологій
Поляков Сергій Анатолійович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.44-49
12
Матеріали конференції
Розпізнавання та побудова контуру об’єкта на зображенні за допомогою Діаграми Вороного


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
Терещенко Василь Миколайович
Терещенко Ярослав Васильович
Танчук Володимир Вячеславович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.228-232
13
Матеріали конференції
Онтологический анализ как инструмент в методологии научного познания


Факультет інформаційних технологій
Прикладних інформаційних систем
Плескач Валентина Леонідівна
Рогушина Ю.В.
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.207-210
14
Наукова стаття
Организация хранилища медицинских изображений на базе распределенной вычислительной системы грид


Факультет радіофізики, електроніки та комп'ютерних систем
Медичної радіофізики
Судаков Олександр Олександрович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.17-22
15
Праці конференції
Сложность алгоритмов пересечения, объединения и разности в мультитаблицах


Факультет інформаційних технологій
Прикладних інформаційних систем
Канарська Ірина Сергіївна
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.121-126
16
Тези
Formalization of Nominative Data in Mizar


Факультет інформаційних технологій
Програмних систем і технологій
Нікітченко Микола Степанович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.82-85
17
Тези
On classes of quasi-ary functions


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.128-132
18
Праці конференції
Third decade developments of C++ programming language


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.244-245
19
Тези
Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерії


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.35-43
20
Праці конференції
Алгебри квазіарних відношень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.174-181
21
Праці конференції
Анализ строения множества именных множеств


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

Іванов Євген В’ячеславович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.133-137
22
Праці конференції
Безкванторні композиційно-номінативні логіки функціональних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович

2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.262-269
23
Тези
Загальна модель успадкування


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.25-28
24
Праці конференції
Композиційно-номінативні модальні логіки часткових предикатів без обмеження монотонності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.255-261
25
Тези
Модель даннях документо-ориентированной системы управления базами даннях MONGODB


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.44-7
26
Праці конференції
О языке запросов информационной системы «Поступление в Киевский университет»


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.61-66
27
Матеріали конференції
Огляд типів рекомендаційних систем та використання баз даних для підвищення їх продуктивності


Факультет інформаційних технологій
Програмних систем і технологій
Поляков Сергій Анатолійович



2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.29-34
28
Тези
Огляд типів рекомендаційних систем та використання баз даних для підвищеня їх продуктивності


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.29-34
29
Праці конференції
Оптимизация запросов в реляционных базах данных


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Канарська Ірина Сергіївна
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.138-141
30
Тези
Реалізація роботи нестандартних типів даних у Framework Django на прикладі типу даних ltree


Факультет інформаційних технологій
Програмних систем і технологій

Поляков Сергій Анатолійович

2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.-
31
Тези
Сложность некоторых алгоритмов объединения, пересечения и разности в табличных алгебрах


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Канарська Ірина Сергіївна
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.12 c.92-97
32
Матеріали конференції
Тотальна корекетність системи Infosoft e-Detailing 1.0


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.98-103
33
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
34
Наукова стаття
A Method for Parallel Software Correctness Proof in IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.195-199
35
Тези
On a strong notion of causality in nondeterministic input-output systems


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.66-68
36
Тези
Геоінформаційне нозологічне картографування


ННІ "Інститут геології"
Геоінформатики
Зацерковний Віталій Іванович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.57-58
37
Праці конференції
Программный комплекс для моделирования и оптимизации потока грунтовых вод.


Факультет комп'ютерних наук та кібернетики
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Стеля Олег Борисович
Стеля Ігор Олегович

2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.167-172
38
Наукова стаття
Реализация работы нестандартных типов данных в Framework Django типа данных tree


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.26-32
39
Тези
A language for composing real-time software components


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.8-14
40
Наукова стаття
Використання технології GPGPU для збільшення швидкодії гомогенних кластер них систем


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії

Погорілий Сергій Дем'янович

2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.171.0000
41
Наукова стаття
Деякі питання специфікацій обмежень при проектуванні програмних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.148.0000
42
Тези
Проблема спростовності у монотонних Логіках Флойда-Хоара


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.97.0000
43
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладанняФормальное определение модели данных, используемой в NoSQL базах данных


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування

Поляков Сергій Анатолійович
Гришко Юлія Олександрівна
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.29-33
44
Тези
Formalization and reasoning for real-time programming languages


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.8-10
45
Праці конференції
Автоматизация рассуждений в Украине: основные этапы


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.157-163
46
Матеріали конференції
Операційна та денотаційна семантика рекурсивних запитів в табличних базах даних


Факультет інформаційних технологій
Програмних систем і технологій
Поляков Сергій Анатолійович

2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.204-209
47
Наукова стаття
Теорія мультимножин та її застосування


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування

Гришко Юлія Олександрівна
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.54-68
48
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладання


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування


2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.69-72
49
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладанняФормальное определение модели данных, используемой в NoSQL базах данных


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування


2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.69-72
50
Тези
Modeling programs over complex-named data by term rewriting systems


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
Нікітченко Микола Степанович


2010
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.40-49
51
Тези
Динамічна зміна якості відео в залежності від ширини Інтернет-каналу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.87-90
52
Наукова стаття
Операційна та денотаційна семантика рекурсивних запитів в табличних базах даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович

2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.2 c.204.0000
53
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
54
Тези
Релігійне виховання в сім’ї як основа відродження духовності суспільства


Військовий інститут
Автомобільної підготовки
2010
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
55
Тези
Побудова рекурсивних запитів в SQL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2009
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.2 c.204.0000
56
Тези
Checking temporal properties of requirements in VRS


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович

2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.267.0000
57
Тези
Адаптивний підхід до апроксимації сигналів


Факультет комп'ютерних наук та кібернетики
Моделювання складних систем
Гаращенко Федір Георгійович
Матвієнко Володимир Тихонович
Швець Ольга Федорівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.35.0000
58
Тези
К вопросу о построении единой модели данных


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.240.0000
59
Тези
Композиційно-номінативна семантика мови TLA+


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.312.0000
60
Тези
Композиційно-номінативний аналіз архітектур програмних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.219.0000
61
Тези
Композицйно-номінативні моделі об'єктів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.289.0000
62
Тези
Криптографічне стиснення з використанням дерева Штерна-Броко в експертних системах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.148.0000
63
Тези
Методи та алгоритми персоналізації інформаційних систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.250.0000
64
Тези
Модель спрощеного стану для методу доведення властивостей в мовах IPCL та її застосування і переваги


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.319.0000
65
Тези
Нелінійність біопроцесів як механізм підтримки стійкості та стабільності функціонального стану організму


Факультет комп'ютерних наук та кібернетики
Моделювання складних систем
Гаращенко Федір Георгійович

2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.182.0000
66
Тези
Повышение эффективности распределенного механизма маршрутизации в мобтльных эпизодических сетях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.144.0000
67
Праці конференції
Применение WordNet и нейронных сетей в создании интеллектуальных систем обработки текстов на естественном языке


Факультет комп'ютерних наук та кібернетики
Математичної інформатики

Тарануха Володимир Юрійович
2006
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.183.0000
68
Тези
Про логіку делегувань повноважень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.330.0000
69
Тези
Програмні засоби забезпечення обчислювальних потреб комп'ютерної мережі факультету


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.300.0000
70
Тези
Програмні моделі систем автоматизації навчальних процесів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович

2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.118.0000
71
Тези
Прототип реалізації аксіоматичної системи специфікацій програм над метаномінативними даними


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.107.0000
72
Тези
Регуляторна гіпоксія: математична модель її розвитку та компенсації


Факультет комп'ютерних наук та кібернетики
Моделювання складних систем
Гаращенко Федір Георгійович

2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.82.0000
73
Тези
Система автоматизации дедукции (САД) как средство обработки формальных компьютерных заданий


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Анісімов Анатолій Васильович



2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.0.0000
74
Тези
Стуктурно-параметрична оптимізація систем зі змінною структурою


Факультет комп'ютерних наук та кібернетики
Моделювання складних систем

Матвієнко Володимир Тихонович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.38.0000
75
Тези
Схема доведення основної теореми про властивості операторів MIN, MAX в формалізації ER-моделі


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.229.0000
76
Праці конференції
Теорія можливостей та алгоритми кластеризації


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна

2006
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.247.0000
77
Тези
Тестування та підходи до написання тесткейсів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.284.0000
78
Тези
Три замечания о трехзначной логике Клини


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.47.0000

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

Вгору