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