Пошуковий запит: (<.>A=Крывый С$<.>) |
Загальна кількість знайдених документів : 47
Представлено документи з 1 до 20
|
| |
1. |
Крывый С. Л. Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел. — 2009 // Кибернетика и систем. анализ.
|
2. |
Крывый С. Л. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний. — 2008 // Пробл. програмув.
|
3. |
Крывый С. Л. Алгоритм решения систем линейных уравнений в поле <$E bold {F sub {p sup k}}> // Проблемы упр. и информатики. - 2019. - № 5.
|
4. |
Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в кольцах вычетов. — 2007 // Кибернетика и систем. анализ.
|
5. |
Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в полях вычетов. — 2007 // Кибернетика и систем. анализ.
|
6. |
Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в целочисленных областях. — 2006 // Кибернетика и систем. анализ.
|
7. |
Крывый С. Л. Алгоритмы решения систем линейных ограничений с целыми коэффициентами во множестве {0, 1} // Проблемы упр. и информатики. - 2019. - № 4.
|
8. |
Крывый С. Л. Алгоритмы решения систем линейных уравнений в кольцах вычетов // Кибернетика и систем. анализ. - 2016. - 52, № 5.
|
9. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. I // Кибернетика и систем. анализ. - 2013. - 49, № 6.
|
10. |
Крывый С. Л. Верификация программ: состояние, проблемы, результаты. II // Кибернетика и систем. анализ. - 2014. - 50, № 1.
|
11. |
Палагин А. В. Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: онтологический подход. — 2010 // Управляющие системы и машины.
|
12. |
Палагин А. В. Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: онтологический подход. II. — 2010 // Управляющие системы и машины.
|
13. |
Крывый С. Л. Исследование свойств документов MSC с помощью преобразования их в сети Петри. — 2009 // Кибернетика и систем. анализ.
|
14. |
Палагин А. В. К вопросу о построении знание-ориентированных компьютерных систем для научных исследований // Управляющие системы и машины. - 2015. - № 2.
|
15. |
Крывый С. Л. Комбинаторный метод решения систем линейных ограничений // Кибернетика и систем. анализ. - 2014. - 50, № 4.
|
16. |
Крывый С. Л. Конечные автоматы в информационных технологиях. — 2011 // Кибернетика и систем. анализ.
|
17. |
Крывый С. Л. Критерий совместности систем линейных однородных диофантовых уравнений над множеством натуральных чисел // Доп. НАН України. - 1999. - № 5.
|
18. |
Крывый С. Л. Логические операции над нечеткими множествами и отношениями в автоматной интерпретации // Кибернетика и систем. анализ. - 2020. - 56, № 6.
|
19. |
Палагин А. В. Метод синтеза структур для преобразований циклического кода на основе программируемой пользователем вентильной матрицы // Электрон. моделирование. - 2014. - 36, № 2.
|
20. |
Бойко Ю. В. Методы исследования свойств высокопроизводительных инфраструктур. Обзор // Управляющие системы и машины. - 2015. - № 1.
|
| |