Науковий журнал.
Редакційна колегія приймає рішення про опублікування кожної статті в журналі.
Журнал виходить чотири рази на рік.
Приймаються рукописи, підготовлені англійською мовою.

ЗМІСТ

Метод побудови моделі обчислювального процесу на основі мережі Петри

Олег Миколайович Паулін, Наталія Олегівна Комлева, Станіслав Юрійович Марулін, Анатолій Олександрович Ніколенко


260-270

Як цитувати
DOI: https://doi.org/10.15276/aait.04.2019.1

Блендінг функціонально заданих поверхонь

Олександр Никифорович Романюк, Сергій Іванович Вяткін, Антощук Світлана Григорівна, Павло Ігорович Михайлов, Роман Юрійович Чехместрук


271-282

Як цитувати
DOI: https://doi.org/10.15276/aait.04.2019.2

DP: Полегшена бібліотека для навчання діфференційному програмуванню

Крістіан Херста, Клаус Штоменгер, Олівер Фішер, Діварі Октай


283-294

Як цитувати
DOI: https://doi.org/10.15276/aait.04.2019.3

Поведінкова верифікація систем інтернету речей на основі мереж Петрі

Олександр Миколайович Мартинюк, Олександр Валентинович Дрозд, Сергій Анатольевич Нестеренко, Тамем Ахмеш


295-303

Як цитувати
DOI: https://doi.org/10.15276/aait.04.2019.4
DOI: https://doi.org/10.15276/aait.04.2019.5
DOI: https://doi.org/10.15276/aait.04.2019.6
DOI: https://doi.org/10.15276/aait.04.2019.7
DOI: https://doi.org/10.15276/aait.04.2019.8

Опубліковано: 24-12-2019

ISSN 2663-7723 (Online)
ISSN 2617-4316 (Print)