Search Results - "formal methods"
Suggested Topics within your search.
Suggested Topics within your search.
- 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
Published 2014Get full text
Article -
63
-
64
-
65
Transition systems as method of designing applications in GPGPU technology
Published 2018Get full text
Article -
66
-
67
Объективизация нечетких классификационных моделей формирования межпредметных связей
Published in Штучний інтелект (2010)Get full text
Article -
68
Ахматова и формалисты: заметки к теме
Published in Культура народов Причерноморья (2012)Get full text
Article -
69
Агапій Шамрай у пошуках синтетичної теорії літератури: 1920-ті роки
Published in Слово і Час (2022)Get full text
Article -
70
-
71
В. М. Даниленко та періодизація неоліту Південного Бугу: нові запитання до старих джерел
Published in Археологія (2013)Get full text
Article -
72