Л 890 Овсяк, О. Моделі рекурсії та рекуренції [Текст] / О. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Львів. політехника, 2010. - № 663: Комп'ютерні науки та інформаційні технології. - С. 116-122. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 71822 - Б.ц. (вільний) |
Л 890 Овсяк, О. В. Розширення алгебри алгоритмів аксіомами операцій циклів [Текст] / О. В. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Львів. політехника, 2010. - № 685: Комп'ютерні системи. Проектування. Теорія і практика. - С. 12-20. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 72232 - Б.ц. (вільний) |
Л 890 Овсяк, О. В. Модель абстрактної підсистеми комп'ютерної інформаційної системи генерування коду [Текст] / О. В. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Львівська політехніка, 2010. - № 686: Комп'ютерні науки та інформаційні технології. - С. 127-136. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 72233 - Б.ц. (вільний) |
Л 890 Овсяк, О. Модель інформаційної технології формування операції секвентування [Текст] / О. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Львівська політехніка, 2011. - № 694: Комп'ютерні науки та інформаційні технології. - С. 166-173. - Бібліогр. в кінці ст.
Математика--Комбінаторний аналіз, теорія графів--Алгоритмічні задачі комбінаторного аналізу Є примірники у відділах: 1 Інв.В 72747 - Б.ц. (вільний) |
Л 890 Овсяк, О. Модель інформаційної технології опрацювання формул алгоритмів [Текст] / О. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Львівська політехніка, 2011. - № 710: Комп'ютерні науки та інформаційні технології. - С. 224-234. - Бібліогр. в кінці ст.
Є примірники у відділах: 1 Інв.В 73149 (вільний) |
Л 890 Овсяк, О. Несуперечність секвенційних алгоритмів [Текст] / О. Овсяк, В. Овсяк, Ю. Петрушка> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2012. - № 744: Комп'ютерні науки та інформаційні технології. - С. 128-131. - Бібліогр. в кінці ст.
Дод.точки доступу: Овсяк, В.; Петрушка, Ю. Є примірники у відділах: 1 Інв.В 74052 (вільний) |
Л 890 Драган, Я. Методологія синтезу моделей алгоритмічної складової автоматів [Текст] / Я. Драган, В. Овсяк, О. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2012. - № 744: Комп'ютерні науки та інформаційні технології. - С. 215-221. - Бібліогр. в кінці ст.
Дод.точки доступу: Овсяк, В.; Овсяк, О. Є примірники у відділах: 1 Інв.В 74052 (вільний) |
Л 890 Драган, Я. Порівняння алгебраїчних методів подань алгоритмів [Текст] / Я. Драган, В. Овсяк, О. Овсяк> // Вісник Національного університету "Львівська політехніка". - Львів : Вид-во Нац. ун-ту "Львів. політехника", 2013. - № 751: Комп'ютерні науки та інформаційні технології. - С. 356-365. - Бібліогр. в кінці ст.
Дод.точки доступу: Овсяк, В.; Овсяк, О. Є примірники у відділах: 1 Інв.В 74262 (вільний) |