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

Бази даних

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

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

Михнич Б. Б. Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation. — 2009 // Радіоелектрон. і комп'ют. системи.
2.

Лебедєва О. О. Формалізація конфліктів при колективному проектуванні за допомогою розширеної мережі Петрі. — 2009 // Вісн. Нац. ун-ту "Львів. політехніка".
3.

Стеценко И. В. Уравнения состояний стохастических временных сетей Петри с информационными связями. — 2012 // Кибернетика и систем. анализ.
4.

Зайцев Д. А. Универсальная сеть Петри. — 2012 // Кибернетика и систем. анализ.
5.

Зайцев Д. А. Універсальна розгортаюча мережа Петрі // Інф-ка та мат. методи в моделюванні. - 2012. - 2, № 2.
6.

Стеценко И. В. Теоретические основы Петри-объектного моделирования систем. — 2011 // Мат. машини і системи.
7.

Дубцов Р. С. Теоретико-категорная характеризация развертки временных сетей Петри. — 2004 // Пробл. программирования.
8.

Качур С. А. Структурная и параметрическая оптимизация на основе сетей Петри для совокупности измерительных систем с общим каналом наблюдения. — 2005 // Управляющие системы и машины.
9.

Стеценко І. В. Система імітаційного моделювання засобами сіток Петрі. — 2009 // Мат. машини і системи.
10.

Кучук Н. Г. Синтез мережевої моделі комп'ютерної системи на гіперконвергентній платформі // Системи упр., навігації та зв'язку. - 2020. - Вип. 1.
11.

Маслова З. И. Сети Петри в моделировании вычислительных процессов. — 2002 // Вісн. Сум. держ. ун-ту. Сер. Техн. науки.
12.

Статкевич В. М. Связь сетей Петри с бесскобочной польской записью // Систем. дослідж. та інформ. технології. - 2016. - № 2.
13.

Супруненко О. О. Розробка візуально-аналітичних засобів управління програмним проектом. — 2012 // Вост.-Европ. журн. передовых технологий.
14.

Зайцев Д. А. Решение фундаментального уравнения сетей Петри в процессе композиции функциональных подсетей. — 2005 // Искусств. интеллект.
15.

Шмелева Т. Р. Реентерабельная модель РВВ сети // Наук. пр. ОНАЗ ім. О. С. Попова. - 2018. - № 2.
16.

Ямпольский Л. С. Реализация моделирования дискретно-событийных систем иерархическими распределенными во времени сетями Петри // Адапт. системи автомат. упр. : міжвід. наук.-техн. зб. - 2005. - Вип. 8.
17.

Усатюк О. В. Реализация алгоритма преобразования неординарной сети Петри в ординарную. — 2004 // Пробл. программирования.
18.

Кузьмук В. В. Расширение функциональных возможностей алгоритмического аппарата сетей Петри при моделировании параллельных процессов. — 2009 // Электрон. моделирование.
19.

Шмелева Т. Р. Программный генератор моделей Петри треугольных коммуникационных решеток // Наук. пр. ОНАЗ ім. О. С. Попова. - 2016. - № 1.
20.

Лук'янова О. О. Про прискорення обчислень знаходження структурних інваріантів при компонентному аналізу CN1-мереж // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 2.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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