РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
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
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (1)
Наукова періодика України (29)
Пошуковий запит:
(<.>A=Крывый С$<.>)
Загальна кількість знайдених документів
:
47
Представлено документи
з 1 до 20
...
1.
Крывый С
. Л.
О некоторых методах решения и критериях совместности систем линейных диофантовых уравнений в области натуральных чисел
. — 1999 //
Кибернетика и систем. анализ
.
2.
Крывый С
. Л.
Критерий совместности систем линейных однородных диофантовых уравнений над множеством натуральных чисел
//
Доп. НАН України
. - 1999. - № 5.
3.
Краснитский С. М.
О достаточных условиях эквивалентности гауссовских мер, соответствующих однородным полям, спектральные плотности которых имеют вещественные нули
. — 1999 //
Кибернетика и систем. анализ
.
4.
Крывый С
. Л.
О вычислении минимального множества инвариантов сетей Петри
. — 2001 //
Искусств. интеллект
.
5.
Крывый С
. Л.
Совместность систем линейных констрейнтов в области натуральных чисел
. — 2002 //
Кибернетика и систем. анализ
.
6.
Крывый С
. Л.
Формальные методы в исследовании свойств программных систем
. — 2002 //
Пробл. программирования
.
7.
Крывый С
. Л.
Об алгоритмах решения систем линейных диофантовых констрейнтов в области {0,1}
. — 2003 //
Кибернетика и систем. анализ
.
8.
Крывый С
. Л.
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
. — 2003 //
Пробл. программирования
.
9.
Крывый С
. Л.
Формальные методы анализа свойств систем
. — 2003 //
Кибернетика и систем. анализ
.
10.
Усатюк О. В.
Реализация алгоритма преобразования неординарной сети Петри в ординарную
. — 2004 //
Пробл. программирования
.
11.
Крывый С
. Л.
Проверка непротиворечивости формул языка
L
, представленных в дизъюнктивной нормальной форме. II
. — 2005 //
Кибернетика и систем. анализ
.
12.
Крывый С
. Л.
Проверка непротиворечивости формул языка
L
, представленных в дизъюнктивной нормальной форме. I
. — 2005 //
Кибернетика и систем. анализ
.
13.
Крывый С
. Л.
Алгоритмы решения систем линейных диофантовых уравнений в целочисленных областях
. — 2006 //
Кибернетика и систем. анализ
.
14.
Крывый С
. Л.
Алгоритмы решения систем линейных диофантовых уравнений в кольцах вычетов
. — 2007 //
Кибернетика и систем. анализ
.
15.
Крывый С
. Л.
Алгоритмы решения систем линейных диофантовых уравнений в полях вычетов
. — 2007 //
Кибернетика и систем. анализ
.
16.
Чугаенко А. В.
Об алгоритме перевода документов MSC в сети Петри
. — 2008 //
Пробл. програмув
.
17.
Крывый С
. Л.
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
. — 2008 //
Пробл. програмув
.
18.
Крывый С
. Л.
Формальные методы анализа дискретных систем с использованием языка спецификаций
. — 2009 //
Кибернетика и систем. анализ
.
19.
Крывый С
. Л.
Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
. — 2009 //
Кибернетика и систем. анализ
.
20.
Крывый С
. Л.
Исследование свойств документов MSC с помощью преобразования их в сети Петри
. — 2009 //
Кибернетика и систем. анализ
.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського