Наукові статті кафедри КС та М Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 55
 next >
Issue DateTitleAuthor(s)
2018An 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; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль
2017The system for control and accounting of working timeПлахтій, Анастасія Михайлівна; Шкарупило, Вадим Вікторович; Бєліков, Сергій Борисович; Plakhtii, Anastasiia M.; Shkarupylo, Vadym V.; Byelikov, Sergey B.; Плахтий, Анастасия Михайловна; Шкарупило, Вадим Викторович; Беликов, Сергей Борисович
2017Development of stratified approach to software defined networks simulationШкарупило, Вадим Вікторович; Скрупський, Степан Юрійович; Олійник, Андрій Олександрович; Колпакова, Тетяна Олексіївна; Shkarupylo, Vadym V.; Skrupsky, Stepan Y.; Oliinyk, Andriy O.; Kolpakova, Tetiana O.; Шкарупило, Вадим Викторович; Скрупский, Степан Юрьевич; Олейник, Андрей Александрович; Колпакова, Татьяна Алексеевна
2016Система захисту даних при передачі в мережіКиричек, Галина Григорівна; Овчар, Анастасія Олександрівна; Kirichek, Galina G.; Ovchar, Anastasia O.; Киричек, Галина Григорьевна; Овчар, Анастасия Александровна
2016Ефективність розробки веб сервісів для забезпечення якості послугКиричек, Галина Григорівна; Kirichek, Galina G.; Киричек, Галина Григорьевна
2016Система автоматичного тестування та розгортання мережних сервісівКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Котов, Роман Олександрович; Котов, Роман Александрович; Kotov, Roman O.
2016The investigation of TLC model checker propertiesШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.
2015DEVS-орієнтована методика валідації композитних веб-сервісівШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
2015Обнаружение и выбор WEB-сервисовПольська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2015Модифицированый метод распознавания текста на стандартизированном изображенииКасьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Братчиков, Володимир Володимирович; Братчиков, Владимир Владимирович; Bratchykov, Volodymyr V.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.
2015Автоматизоване керування відновленням працездатності мережевих пристроївКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Михайлютенко, Денис Юрійович; Михайлютенко, Денис Юрьевич; Mihaylyutenko, Denis Y.
2011Формування та ефективність впровадження інформаційної системи ВНЗКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.
2011Модель системи оцінки ідентичності програмного кодуКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Киричек, Олександр Олександрович; Киричек, Александр Александрович; Kirichek, Alexander A.
2010Керування інформаційними потоками на всіх рівнях ієрархії отримання знаньКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.
2007Управление информационными потоками вуза – как подсистема инновационного образованияКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Піза, Дмитро Макарович; Пиза, Дмитрий Макарович; Piza, Dmytro M.
2007Електронна бібліотека як об’єкт освітніх технологійКиричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.
2006Иерархическая система представления информационных ресурсовВершина, Олександр Іванович; Вершина, Александр Иванович; Vershina, Alexander I.; Киричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Піза, Дмитро Макарович; Пиза, Дмитрий Макарович; Piza, Dmytro M.
2004Модель информационного обеспечения учебного процесса университетаВершина, Олександр Іванович; Вершина, Александр Иванович; Vershina, Alexander I.; Киричек, Галина Григорівна; Киричек, Галина Григорьевна; Kirichek, Galina G.; Піза, Дмитро Макарович; Пиза, Дмитрий Макарович; Piza, Dmytro M.
2014Оптимизация схемы композиционного микропрограммного устройства управления с общей памятьюБаркалов, Олександр Олександрович; Barkalov, Olexandr O.; Баркалов, Александр Александрович; Титаренко, Лариса Олександрівна; Titarenko, Larisa O.; Титаренко, Лариса Александровна; Зеленьова, Ірина Яківна; Zeleneva, Irina Ya.; Зеленева, Ирина Яковлевна; Цололо, Сергій Олексійович; Tsololo, Sergey A.; Цололо, Сергей Алексеевич
2013Реализация КМУУ с общей памятью на гибридных FPGAБаркалов, Олександр Олександрович; Barkalov, Olexandr O.; Баркалов, Александр Александрович; Титаренко, Лариса Олександрівна; Titarenko, Larisa O.; Титаренко, Лариса Александровна; Єфименко, Костянтин Миколайович; Efimenko, Konstantin M.; Ефименко, Константин Николаевич; Зеленьова, Ірина Яківна; Zeleneva, Irina Ya.; Зеленева, Ирина Яковлевна
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 55
 next >