РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Наукова періодика України (2)
Пошуковий запит:
(<.>A=Чугаенко А$<.>)
Загальна кількість знайдених документів
:
8
Представлено документи
з 1 до 8
1.
Матвеева Л. Е.
Использование инструментальных средств моделирования параллельных вычислений в системе APS для разработки эффективных программ
. — 1998 //
Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98
/ НАН України.
2.
Кривой С. Л.
О реализации алгоритмов проверки совместности систем линейных диофантовых уравнений в области натуральных чисел
. — 1999 //
Управляющие системы и машины
.
3.
Матвеева Л. Е.
Разработка инструментальных средств моделирования параллельных вычислений в системе алгебраического программирования
. — 1999 //
Кибернетика и систем. анализ
.
4.
Чугаенко
А. В.
О реализации
TSS
-алгоритма
. — 2007 //
Управляющие системы и машины
.
5.
Чугаенко
А. В.
О реализации алгоритма перевода набора
MSC
-диаграмм в сеть Петри
. — 2007 //
Управляющие системы и машины
.
6.
Чугаенко
А. В.
Об алгоритме перевода документов MSC в сети Петри
. — 2008 //
Пробл. програмув
.
7.
Крывый С. Л.
Исследование свойств документов MSC с помощью преобразования их в сети Петри
. — 2009 //
Кибернетика и систем. анализ
.
8.
Крывый С. Л.
Формальные методы анализа дискретных систем с использованием языка спецификаций
. — 2009 //
Кибернетика и систем. анализ
.
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського