Пошуковий запит: (<.>A=Овсяк О$<.>) |
Загальна кількість знайдених документів : 21
Представлено документи з 1 до 20
|
| |
1. | РА320056 Овсяк О. В.Нац. ун-т "Львів. політехніка". Моделювання транслятора структур даних електромеханічних схем друкарських машин [Текст] : Автореф. дис... канд. техн. наук : 01.05.02.- URL: /ard/2002/
|
2. | Ж29409/А Овсяк О. Моделі рекурсії та рекуренції [Текст]: 663 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. науки та інформ. технології.-С.116-121
|
3. | Ж29409/А Овсяк О. В. Модель абстрактної підсистеми комп'ютерної інформаційної системи генерування коду [Текст]: 686 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. науки та інформ. технології.-С.127-136
|
4. | Ж29409/А Овсяк О. Модель інформаційної технології опрацювання формул алгоритмів [Текст]: 710 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. науки та інформ. технології.-С.224-233
|
5. | Ж29409/А Овсяк О. Модель інформаційної технології формування операції секвентування [Текст]: 694 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. науки та інформ. технології.-С.166-172
|
6. | Ж16683 Овсяк О. В. Модель розширеної нотації текстового опису формул алгоритмів [Текст]: 1 // Радіоелектроніка. Інформатика. Управління.-С.86-90
|
7. | Ж29409/А Овсяк О. В. Розширення алгебри алгоритмів аксіомами операцій циклів [Текст]: 685 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. системи проектув. Теорія і практика.-С.12-19
|
8. | ВА763083 Овсяк О. В. Інформаційна технологія та інструментальні засоби ефективного опрацювання формул алгоритмів [Текст]
|
9. | Ж29409/А Овсяк О. Несуперечність алгебри секвенційних алгоритмів [Текст]: 744 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. науки та інформ. технології.-С.128-131
|
10. | Ж29409/А Драган Я. Методологія синтезу моделей алгоритмічної складової автоматів [Текст]: 744 // Вісн. Нац. ун-ту "Львів. політехніка". Комп'ют. науки та інформ. технології.-С.215-220
|
11. | Ж29409/А Драган Я. Моделі схем реляційних баз даних, поданих модифікованою алгеброю алгоритмів [] // Вісник Національного університету "Львівська політехніка", 2013,N № 771:Комп'ют. науки та інформ. технології.-С.237-244
|
12. | Ж29409/А Драган Я. Порівняння алгебричних методів подань алгоритмів [] // Вісник Національного університету "Львівська політехніка", 2013,N № 751.-С.356-364
|
13. | Ж70173 Овсяк О. В. Декомпозиція і модель інформаційної підсистеми роботи з унітермами [] // Наукові записки, 2011,N № 3.-С.209-221
|
14. | Ж70173 Овсяк О. В. Інформаційна технологія вибору та обчислення розмірів операції елімінування [] // Наукові записки, 2011,N № 4.-С.244-252
|
15. | Ж70173 Овсяк О. В. Алгебра алгоритмів з багатозначним елімінуванням [] // Наук. зап./Укр. акад. друкарства, 2012,N № 3.-С.103-107
|
16. | Ж29709 Овсяк О. В. Граматика опису функційних унітермів [] // Поліграфія і видавнича справа, 2009,N № 2.-С.18-22
|
17. | Ж29709 Овсяк О. В. Інформаційна технологія опрацюванняі операції секвентування. Вибір та обчислення розмірів [] // Поліграфія і видавнича справа, 2011,N № 1.-С.138-147
|
18. | Ж29709 Овсяк О. В. Інформаційні технології операції елімінування [] // Поліграфія і видавнича справа, 2011,N № 2.-С.131-138
|
19. | Ж29709 Овсяк О. В. Рекурентно-декомпозиційна методологія інформаційних технологій і систем [] // Поліграфія і видавнича справа, 2011,N № 3.-С.74-84
|
20. | Ж29709 Овсяк О. В. Несуперечність алгебри секвенційних алгоритмів [] // Поліграфія і видавнича справа, 2012,N № 4.-С.60-64
|
| |