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