Результати пошуку - "formal methods"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 9
- УДК 004.4'24 8
- UDC 004.4'24 7
- алгебра алгоритмов 4
- алгебра алгоритмів 4
- UDC 519.85 3
- algebraic matching 3
- algorithm algebra 3
- automated software design 3
- behavior algebra 3
- meteorological forecasting 3
- software synthesis 3
- УДК 519.85 3
- Формальні методи програмування 3
- автоматизированное проектирование программ 3
- автоматизоване проектування програм 3
- метеорологическое прогнозирование 3
- метеорологічне прогнозування 3
- паралельні обчислення 3
- параллельные вычисления 3
- синтез програм 3
- синтез программ 3
- Software Model Transformation 2
- UDC 004.415.2.045 (076.5) 2
- UDC 51.681.3 2
- algebraic modeling 2
- artificial intelligence 2
- formal methods 2
- insertion modeling 2
- machine learning 2
-
61
-
62
Підходи до формалізації проектування застосувань в технології GPGPU
Опубліковано 2014Отримати повний текст
Стаття -
63
-
64
-
65
Transition systems as method of designing applications in GPGPU technology
Опубліковано 2018Отримати повний текст
Стаття -
66
-
67
Объективизация нечетких классификационных моделей формирования межпредметных связей
Опубліковано в: Штучний інтелект (2010)Отримати повний текст
Стаття -
68
Ахматова и формалисты: заметки к теме
Опубліковано в: Культура народов Причерноморья (2012)Отримати повний текст
Стаття -
69
Агапій Шамрай у пошуках синтетичної теорії літератури: 1920-ті роки
Опубліковано в: Слово і Час (2022)Отримати повний текст
Стаття -
70
-
71
В. М. Даниленко та періодизація неоліту Південного Бугу: нові запитання до старих джерел
Опубліковано в: Археологія (2013)Отримати повний текст
Стаття -
72