Пошуковий запит: (<.>A=Крывый С$<.>) |
Загальна кількість знайдених документів : 47
Представлено документи з 1 до 20
|
| |
1. |
Крывый С. Л. Экосистемы программной инженерии // Кибернетика и систем. анализ. - 2020. - 56, № 4.
|
2. |
Крывый С. Л. Численные методы решения задачи о математическом сейфе // Кибернетика и систем. анализ. - 2019. - 55, № 5.
|
3. |
Крывый С. Л. Численные методы решения задачи о математическом сейфе // Кибернетика и систем. анализ. - 2019. - 55, № 5.
|
4. |
Крывый С. Л. Формальные методы в исследовании свойств программных систем. — 2002 // Пробл. программирования.
|
5. |
Крывый С. Л. Формальные методы анализа свойств систем. — 2003 // Кибернетика и систем. анализ.
|
6. |
Крывый С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций. — 2009 // Кибернетика и систем. анализ.
|
7. |
Крывый С. Л. Формализованные онтологические модели в научных исследованиях // Управляющие системы и машины. - 2016. - № 3.
|
8. |
Крывый С. Л. Совместность систем линейных констрейнтов в области натуральных чисел. — 2002 // Кибернетика и систем. анализ.
|
9. |
Опанасенко В. Н. Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга // Кибернетика и систем. анализ. - 2017. - 53, № 4.
|
10. |
Опанасенко В. Н. Синтез многоуровневых структур со многими выходами // Проблеми програмування. - 2016. - N 2/3 (спец. вип.).
|
11. |
Опанасенко В. Н. Синтез адаптивных логических сетей на основе полинома Жегалкина // Кибернетика и систем. анализ. - 2015. - 51, № 6.
|
12. |
Усатюк О. В. Реализация алгоритма преобразования неординарной сети Петри в ординарную. — 2004 // Пробл. программирования.
|
13. |
Крывый С. Л. Разработка и обоснование алгоритмов на основе семантических свойств // Пробл. програмув.. - 2014. - № 2/3 (спец. вип.).
|
14. |
Опанасенко В. Н. Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения. — 2012 // Кибернетика и систем. анализ.
|
15. |
Крывый С. Л. Разбиение множества векторов с целыми неотрицательными координатами с использованием логических аппаратных средств // Кибернетика и систем. анализ. - 2018. - 54, № 2.
|
16. |
Крывый С. Л. Разбиение множества векторов с целыми координатами логическими аппаратными средствами // Кибернетика и систем. анализ. - 2019. - 55, № 3.
|
17. |
Крывый С. Л. Проектирование ИТ-инфраструктуры // Кибернетика и систем. анализ. - 2018. - 54, № 6.
|
18. |
Крывый С. Л. Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования // Кибернетика и систем. анализ. - 2017. - 53, № 1.
|
19. |
Крывый С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. II. — 2005 // Кибернетика и систем. анализ.
|
20. |
Крывый С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I. — 2005 // Кибернетика и систем. анализ.
|
| |