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

Бази даних

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

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

Zhygallo A. A. Peterson's algorithm total correctness proof in IPCL // Проблеми програмування. - 2016. - N 2/3 (спец. вип.).
2.

Zhygallo A. A. Peterson's algorithm for mutual exclusion correctness proof in IPCL // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2015. - Вип. 4.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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