РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІНАДХОДЖЕННЯ |
ПОШУК
|
РУБРИКАТОР
|
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (5) | Автореферати дисертацій (1) |
Пошуковий запит: (<.>U=З973-018.022.1<.>) | |||
|
Загальна кількість знайдених документів : 5 Представлено документи з 1 до 5 |
|||
| 1. | Гуца О. М. Інтерактивна модель перекладу технічних завдань у систему булевих формул : Автореф. дис... канд. техн. наук : 01.05.02. — Х., 2002 | ||
| 2. | Илюшко В. Формализация бизнес-процессов на основе аппаратов РСА и пи-исчисления. — 2011 // Вісн. Нац. ун-ту "Львів. політехніка". | ||
| 3. | Letichevsky А. А. The non-deterministic strategy of rewriting // Управляющие системы и машины. - 2013. - № 6. | ||
| 4. | Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем // Пробл. програмув.. - 2014. - № 2/3 (спец. вип.). | ||
| 5. | Структурне програмування. — Львів: Львівський державний університет внутрішніх справ, 2023 | ||
| Національна бібліотека України імені В. І. Вернадського |
 |
| Відділ наукового формування національних реферативних ресурсів |
 |
| Інститут проблем реєстрації інформації НАН України |
Всі права захищені © Національна бібліотека України імені В. І. Вернадського