META-EMOTIONS: CONCEPT, STRUCTURE AND APPROACHES TO STUDY
Kondratyev, Dmitry A., Fomin, Andrey E.
Published in Russian Journal of Education and Psychology (30.04.2024)
Published in Russian Journal of Education and Psychology (30.04.2024)
Get full text
Journal Article
Formal verification of Cloud Sisal programs
Kasyanov, Victor N., Kasyanova, Elena V., Kondratyev, Dmitry A.
Published in Journal of physics. Conference series (01.09.2020)
Published in Journal of physics. Conference series (01.09.2020)
Get full text
Journal Article
Platform-independent Specification and Verification of the Standard Mathematical Square Root Function
Shilov, Nikolay V., Kondratyev, Dmitry A., Anureev, Igor S., Bodin, Eugene V., Promsky, Alexei V.
Published in Modelirovanie i analiz informacionnyh sistem (19.12.2018)
Published in Modelirovanie i analiz informacionnyh sistem (19.12.2018)
Get full text
Journal Article