Issue Date | Title | Author(s) |
2018 | An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification | Шкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль |
2016 | The investigation of TLC model checker properties | Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M. |
2015 | Контрольні завдання для заочної форми навчання з дисципліни "Комп'ютерна техніка в наукових дослідженнях" | Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Касьян, Микола Миколайович; Касьян, Николай Николаевич; Kasyan, Mukola M. |
2017 | Контрольні завдання для заочної форми навчання з дисципліни "Комп'ютерна техніка в наукових дослідженнях" | Касьян, Констянтин Миколайович; Касьян, Микола Миколайович; Kasyan, Konstantin M.; Kasyan, Mukola M.; Касьян, Константин Николаевич; Касьян, Николай Николаевич |
2017 | Контрольні завдання для заочної форми навчання з дисципліни "Програмне забезпечення комп'ютерних систем" | Касьян, Констянтин Миколайович; Касьян, Микола Миколайович; Kasyan, Konstantin M.; Kasyan, Mukola M.; Касьян, Константин Николаевич; Касьян, Николай Николаевич |
2015 | Курсова робота з сучасних Інтернет-технологій | Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Касьян, Микола Миколайович; Касьян, Николай Николаевич; Kasyan, Mukola M.; Куликовська, Наталія Анатоліївна; Куликовская, Наталья Анатольевна; Kulykovska, Nataliya A. |
2015 | Лабораторні роботи з комп'ютерної техніки в наукових дослідженнях | Касьян, Микола Миколайович; Касьян, Николай Николаевич; Kasyan, Mukola M.; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M. |
2017 | Лабораторні роботи з комп'ютерної техніки в наукових дослідженнях | Касьян, Констянтин Миколайович; Касьян, Микола Миколайович; Kasyan, Konstantin M.; Kasyan, Mukola M.; Касьян, Константин Николаевич; Касьян, Николай Николаевич |
2017 | Лабораторні роботи з програмного забезпеченя комп'ютерних систем | Касьян, Констянтин Миколайович; Касьян, Микола Миколайович; Kasyan, Konstantin M.; Kasyan, Mukola M.; Касьян, Константин Николаевич; Касьян, Николай Николаевич |
2019 | Методичні вказівки до лабораторної роботи з дисципліни “Технологія проектування комп’ютерних систем” Ч.2.1 | Сирота, Анатолій Васильович; Sirota, Anatoliy V.; Сирота, Анатолий Васильевич; Касьян, Констянтин Миколайович; Kasyan, Konstantin M.; Касьян, Константин Николаевич |
2015 | Модифицированый метод распознавания текста на стандартизированном изображении | Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Братчиков, Володимир Володимирович; Братчиков, Владимир Владимирович; Bratchykov, Volodymyr V.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V. |
2010 | Прогнозирование годового роста трафика Интернет, на основе подобранной модели временного ряда | Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Касьян, Констянтин Миколайович; Kasyan, Konstantin M.; Касьян, Константин Николаевич |
2015 | Самостійні роботи з комп'ютерної техніки в наукових дослідженнях | Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Касьян, Микола Миколайович; Касьян, Николай Николаевич; Kasyan, Mukola M. |
2017 | Самостійні роботи з комп'ютерної техніки в наукових дослідженнях | Касьян, Констянтин Миколайович; Касьян, Микола Миколайович; Kasyan, Konstantin M.; Kasyan, Mukola M.; Касьян, Константин Николаевич; Касьян, Николай Николаевич |
2017 | Самостійні роботи з програмного забезпечення комп'ютерних систем | Касьян, Констянтин Миколайович; Касьян, Микола Миколайович; Kasyan, Konstantin M.; Kasyan, Mukola M.; Касьян, Константин Николаевич; Касьян, Николай Николаевич |