Овсяк В.К., проф.
Документи:
- Абстрактні і предметні алгоритми та правила виведення формул алгоритмів [Текст] / В. Овсяк // Квалілогія книги: Збірник наукових праць. — 2003. — 6. — с. 183-188.
- Алгебра алгоритмів-секвенцій [Текст] / В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1999. — 3. — с. 3-13.
- Алгебра алгоритмів [Текст] / В. Овсяк // Квалілогія книги: Збірник наукових праць. 8 , 2005. — с. 39-45.
- Алгоритм визначення зв’язків між компонентами електромеханічних схем друкарських машин [Текст] / В.К. Овсяк, О.В. Овсяк // Звітна науково-технічна конференція УАД : Тези доп. — 1999. — 4. — с. 125.
- Алгоритми: аналіз методів, алгебра впорядкувань, моделі, моделювання [Текст] / В. Овсяк. — Львів, 1996. — 132 с.
- Алгоритми і математична індукція [Текст] / В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1996. — 1. — с. 62-63.
- Алгоритми : методи побудови, оптимізації, дослідження вірогідності [Текст] : навч. посібник для студ. вищих техн. закладів / Володимир Овсяк. — Л. : Світ, 2001. — 159 с.
- Алгоритми підсистеми діагностики комп’ютерної навчальної системи з машинно - орієнтованого програмування [Текст] / В. Семотюк, В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2002. — 9. — С. 78 - 82.
- Алгоритм пошуку екстримальних точок і побудови стандартизованого скелету символів рукописного тексту [Текст] / Я. Макуцький, В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1999. — 3. — с. 90-97.
- Аналіз і синтез алгоритмів систем керування електроприводом друкарських машин [Текст] / М. Возна, В. Овсяк // Палітра друку : видавничо-поліграфічний журнал. — Л., 1999. — №6. — С. 31 - 32.
- Використання розширеної алгебри алгоритмів в алгоритмах системи "МОДАЛ" [Текст] / В. Овсяк, О. Овсяк, В. Бритковський // Комп'ютерні технології друкарства : зб. наук. пр. / Укр. акад. друкарства ; [редкол.: Б. В. Дурняк (відп. ред.) та ін.]. — Л. : Вид-во УАД, 2009. — С. 46-50.
- Від алгоритмів комп’ютерних видавничих систем до формул [Текст] / В. Овсяк // Квалілогія книги: Збірник наукових праць. — 2002. — 5. — с. 149-154.
- Від теорії секвенційних алгоритмів до теорії абстрактних алгоритмів [Текст] / В. Овсяк // Квалілогія книги: Збірник наукових праць. — 2003. — 6. — с. 173-182.
- До питання еквівалентних перетворень алгоритмів [Текст] / Я. Драган, В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1996. — 1. — с. 63-64.
- Елементи алгебри впорядкувань символів [Текст] / В. Овсяк // Звітна науково-технічна конференція УАД : Тези доп. — 1995. — 2. — с. 53.
- Застосування розширених операцій алгебри логіки для побудови підсистеми автоматизованого моделювання електромеханічних систем [Текст] / Р.Б. Дунець, В.К. Овсяк // Звітна науково-технічна конференція УАД : Тези доп. — 1995. — 2. — с. 55.
- Індукційний метод дослідження вірогідності алгоритмів [Текст] / В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1999. — 3. — с. 29-36.
- Комутативно-некомутативна алгебра логіки [Текст] / В. Овсяк, Ю. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2000. — 5. — с. 161-169.
- Математичні моделі алгоритмів - аксіоматичний підхід [Текст] / В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1996. — 1. — с. 60-61.
- Методи оптимізації алгоритмів-секвенцій [Текст] / В. Овсяк, Ю. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2000. — 4. — с. 134-145.
- Методи синтезу алгоритмів [Текст] / В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2000. — 5. — с. 196-199.
- Метод мінімізації впорядкувань суджень висіканням [Текст] / В.К. Овсяк // Звітна науково-технічна конференція УАД за 1992 р.: Тези доп. — 1993. — 1. — с. 39.
- Мікропроцесорна система керування електроприводом друкарської машини [Текст] / М.А.та Возна // Поліграфія і видавнича справа. — 1998. — 34. — С. 200 - 205.
- Моделі алгоритмів інструментальних засобів системи моделювання алгоритмів та їх програмування [Текст] / В. Бритковський, В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1999. — 3. — с. 79-89.
- Моделі підсистем інструментальних засобів комп’ютерного генерування баз даних з формул алгоритмів [Текст] / С.О. Кулик, В.К. Овсяк // Поліграфія і видавнича справа : наук.-техн. зб. / Укр. акад. друкарства. — Л., 2012. — С. 38 - 42.
- Моделювання електромеханічних схем поліграфічних машин [Текст] / В.К. Овсяк, О.В. Овсяк // Поліграфія і видавнича справа. — 1999. — 35. — с. 200-207.
- Операція елімінування з константними умовами [Текст] / В. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2008. — 19. — С. 61-65.
- Опис операцій реляційної алгебри засобами алгебри алгоритмів [Текст] / С.О. Кулик, В.О. Овсяк // Поліграфія і видавнича справа. — 2010. — 1. — С. 68-80.
- Поглиблена оптимізація математичних моделей алгоритмів, інтерпретованих впорядкуванням символів [Текст] / В.К. Овсяк // Поліграфія і видавнича справа. — 1997. — 32. — с. 109-114.
- Подання алгоритмів транслятора САПР ЕМС впорядкуваннями [Текст] / В. Овсяк, Ю. Сенківський // Комп’ютерні технології друкарства: Зб. наук. праць. — 1998. — 2. — с. 49-50.
- Принцип побудови підсистеми редагування формул абстрактних алгоритмів [Текст] / В. Овсяк, А. Василюк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2004. — 12. — с. 137-144.
- Про засоби структурних перетворень алгоритмів інформаційних технологій [Текст] / Я.П. Драган, В.К. Овсяк // Звітна науково-технічна конференція УАД : Тези доп. — 1997. — 3. — с. 145.
- Розробка методів моделювання і аналізу електромеханічних систем з використанням ЕОМ [Текст] / Р.Б. Дунець, М.М. Луцків, В.К. Овсяк // Звітна науково-технічна конференція УАД за 1992 р.: Тези доп. — 1993. — 1. — с. 9.
- Розширена алгебра впорядкувань та перспективні інформаційні технології друкарства [Текст] / О. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1998. — 2. — С. 13 - 15.
- Синтаксис і семантика мови опису параметрів компонентів електромеханічних схем друкарських машин [Текст] / О. Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 1999. — 3. — с. 58-66.
- Синтаксис і семантика опису базових понять реліційної моделі та операцій [Текст] / С.Кулик, В.Овсяк // Комп’ютерні технології друкарства: Зб. наук. праць. — 2010. — 23. — С. 70 - 88.
- Синтез і дослідження алгоритмів комп’ютерних систем [Текст] : навчальний посібник / В.Овсяк, В.Бритковський, О.Овсяк, Ю. Овсяк. — Л., 2004. — 275 с.
- Синтез і оптимізація інструментальних засобів редактора формул алгоритмів [Текст] / В. Овсяк, В. Бритковський // Квалілогія книги: Збірник наукових праць. — 2000. — 3. — с. 32-38.
- Синтез, оптимізація і дослідження математичної моделі алгоритму транслятора вхідних дій САПР ЕМС [Текст] / В.К. Овсяк, Ю.В. Сеньківський // Поліграфія і видавнича справа. — 1999. — 35. — с. 218-226.
- Структура алгоритму введення й аналізу номерів компонентів електромеханічних схем [Текст] / В.К. Овсяк, Ю.В. Сеньківський // Звітна науково-технічна конференція УАД : Тези доп. — 1999. — 4. — с. 116.
- Управління базами даних комп’ютерної навчальної системи керуючого типу [Текст] / В. Семотюк, В. Овсяк, М. Крук // Комп’ютерні технології друкарства: Зб. наук. праць. — 1998. — 2. — с. 32-35.
- Формалізовані засоби еквівалентних перетворень алгоритмів [Текст] / В.К. Овсяк // Звітна науково-технічна конференція УАД : Тези доп. — 1997. — 3. — с. 57.
|
