Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Потиенко С$<.>) |
Загальна кількість знайдених документів : 1
|
1. | ДС114062 Потиенко, Степан Валериевич. Алгебраические методы верификации асинхронных параллельных систем [Текст] : дис. ... канд. физ.-мат. наук : 01.05.03 / Потиенко Степан Валериевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2009. - 135 л. - Библиогр.: л. 129-135Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
|
|