Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Kondratiev D., A."'
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 2022, Vol. 949, p1-11, 11p
Autor:
Shilov Nikolay Vyacheslavovich, Anureev Igor Sergeevich, Bodin Evgeniy Viktorovich, Kondratiev D., A., Promsky Aleksey Vladimirovich, Shilova Svetlana Olegovna, Faifel Boris Leonidovich
Research project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto a development of an incremental combined approach to the specification and verification of the standard mat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33815f510c1ff55c39652e0a9291bc9e
Publikováno v:
Moscow University Chemistry Bulletin; Nov2014, Vol. 69 Issue 6, p266-273, 8p
Autor:
Korzhik, M. V., Drobyshev, G. Yu., Kondratiev, D. M., Borisevich, A. E., Pavlenko, V. B., Timochenko, T. N.
Publikováno v:
Physica Status Solidi (B); Oct1996, Vol. 197 Issue 2, p495-501, 7p
Publikováno v:
Physica Status Solidi (B); Sep1996, Vol. 197 Issue 1, p251-258, 8p