РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (4)Автореферати дисертацій (1)Наукова періодика України (17)Авторитетний файл імен осіб (1)
Пошуковий запит: (<.>A=Овсяк О$<.>)
Загальна кількість знайдених документів : 21
Представлено документи з 1 до 20
...
1.

Овсяк О. В. Моделювання транслятора структур даних електромеханічних схем друкарських машин : Автореф. дис... канд. техн. наук : 01.05.02. — Львів, 2002
2.

Овсяк О.  Моделі рекурсії та рекуренції. — 2010 // Вісн. Нац. ун-ту "Львів. політехніка".
3.

Овсяк О. В. Модель абстрактної підсистеми комп'ютерної інформаційної системи генерування коду. — 2010 // Вісн. Нац. ун-ту "Львів. політехніка".
4.

Овсяк О.  Модель інформаційної технології опрацювання формул алгоритмів. — 2011 // Вісн. Нац. ун-ту "Львів. політехніка".
5.

Овсяк О.  Модель інформаційної технології формування операції секвентування. — 2011 // Вісн. Нац. ун-ту "Львів. політехніка".
6.

Овсяк О. В. Модель розширеної нотації текстового опису формул алгоритмів. — 2011 // Радіоелектроніка. Інформатика. Управління.
7.

Овсяк О. В. Розширення алгебри алгоритмів аксіомами операцій циклів. — 2010 // Вісн. Нац. ун-ту "Львів. політехніка".
8.

Овсяк О. В. Інформаційна технологія та інструментальні засоби ефективного опрацювання формул алгоритмів. — Львів: Укр. акад. друкарства, 2013. — 227, [1]
9.

Овсяк О.  Несуперечність алгебри секвенційних алгоритмів. — 2012 // Вісн. Нац. ун-ту "Львів. політехніка".
10.

Драган Я.  Методологія синтезу моделей алгоритмічної складової автоматів. — 2012 // Вісн. Нац. ун-ту "Львів. політехніка".
11.

Драган Я. Моделі схем реляційних баз даних, поданих модифікованою алгеброю алгоритмів // Вісн. Нац. ун-ту "Львів. політехніка". - 2013. - № 771.
12.

Драган Я. Порівняння алгебричних методів подань алгоритмів // Вісн. Нац. ун-ту "Львів. політехніка". - 2013. - № 751.
13.

Овсяк О. В. Декомпозиція і модель інформаційної підсистеми роботи з унітермами // Наук. зап.. - 2011. - № 3.
14.

Овсяк О. В. Інформаційна технологія вибору та обчислення розмірів операції елімінування // Наук. зап.. - 2011. - № 4.
15.

Овсяк О. В. Алгебра алгоритмів з багатозначним елімінуванням // Наук. зап./Укр. акад. друкарства. - 2012. - № 3.
16.

Овсяк О. В. Граматика опису функційних унітермів // Поліграфія і вид. справа. - 2009. - № 2.
17.

Овсяк О. В. Інформаційна технологія опрацюванняі операції секвентування. Вибір та обчислення розмірів // Поліграфія і вид. справа. - 2011. - № 1.
18.

Овсяк О. В. Інформаційні технології операції елімінування // Поліграфія і вид. справа. - 2011. - № 2.
19.

Овсяк О. В. Рекурентно-декомпозиційна методологія інформаційних технологій і систем // Поліграфія і вид. справа. - 2011. - № 3.
20.

Овсяк О. В. Несуперечність алгебри секвенційних алгоритмів // Поліграфія і вид. справа. - 2012. - № 4.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського