Formalized method for solving multicriteria problems by A. M. Voronin, A. S. Savchenko

Get full text

The Formal method of Component Basic Programming by Grischenko, V.N.

Get full text

Formal methods of parallel software design automation by Doroshenko, A.Yu., Yatsenko, O.A.

Get full text

Formal methods of parallel software design automation by Yu. Doroshenko, O. A. Yatsenko

Get full text

Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

Get full text

Molecular modeling in the radiation therapy. The algebraic approach by Volkov, V.A., Tarasich, Yu.H.

Get full text

Формалізований метод рішення багатокритеріальних задач by Воронін, А.М., Савченко, А.С.

Get full text

Насколько формальны формальные методы? by Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.

Get full text

Формальные модели компонентного программирования by Грищенко, В.Н.

Get full text

Формализованные методы распараллеливания алгоритма Голдберга–Тарьяна by Погорелый, С.Д., Бойко, Ю.В., Лозицкий, С.И., Гусаров, А.Д.

Get full text

Формальные методы анализа дискретных систем с использованием языка спецификаций by Крывый, С.Л., Чугаенко, А.В.

Get full text

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A by Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.

Get full text

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering by Bjorner, D.

Get full text

Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Get full text

Особенности применения формальных подходов к моделированию действия лекарственных комплексов by Долгополов, И.Н.

Get full text

Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Get full text

Domain engineering approach of software requirements analysis by Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Get full text

Метод генерации тестовых данных по исходному коду Java программ by Колчин, А.В., Потиенко, С.В.

Get full text

C# program verification problems: solution by a three-level method by Promsky, A.V.

Get full text

Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители... by Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.

Get full text