-
1دورية أكاديمية
المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2015)
مصطلحات موضوعية: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
2دورية أكاديمية
المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2012)
مصطلحات موضوعية: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Tatiana V. Astaf’eva, Stanislav A. Nikolaevskii, Evgeniy N. Egorov, Stanislav N. Melnikov, Dmitriy S. Yambulatov, Anna K. Matiukhina, Marina E. Nikiforova, Maxim A. Shmelev, Aleksandr V. Kolchin, Nikolay N. Efimov, Sergey L. Veber, Artem S. Bogomyakov, Ekaterina N. Zorina-Tikhonova, Igor L. Eremenko, Mikhail A. Kiskin
المصدر: Crystals, Vol 14, Iss 1, p 76 (2024)
مصطلحات موضوعية: cobalt carboxylate complexes, magnetic dilution, single-crystal X-ray structure, ab initio calculations, magnetic properties, Crystallography, QD901-999
وصف الملف: electronic resource
-
4
المؤلفون: Yu. G. Kabaldin, D. A. Shatagin, M. S. Anosov, P. V. Kolchin, N. S. Klochkova
المصدر: Russian Engineering Research. 43:143-149
مصطلحات موضوعية: Mechanical Engineering, Industrial and Manufacturing Engineering
-
5
المؤلفون: Yu. G. Kabaldin, M. S. Anosov, D. A. Shatagin, P. V. Kolchin
المصدر: Russian Engineering Research. 42:1293-1298
مصطلحات موضوعية: Mechanical Engineering, Industrial and Manufacturing Engineering
-
6
المؤلفون: Yu. G. Kabaldin, M. S. Anosov, D. A. Shatagin, M. V. Zhelonkin, P. V. Kolchin, D. A. Ryabov
المصدر: Russian Engineering Research. 42:1164-1169
مصطلحات موضوعية: Mechanical Engineering, Industrial and Manufacturing Engineering
-
7
المؤلفون: A. V. Kolchin, B. F. Bezrodnyy, M. A. Leeva
المصدر: Journal of Mathematical Sciences. 267:246-254
مصطلحات موضوعية: Statistics and Probability, Applied Mathematics, General Mathematics
-
8
المؤلفون: Boris N. Mastobaev, Rinat M. Karimov, Anvar R. Valeev, Radmir R. Tashbulatov, Alexander V. Kolchin, Evgeniya A. Lokshina
المصدر: Liquid and Gaseous Energy Resources. 2:20-30
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::50d280a59394e02c884351fbc51dfa2e
https://doi.org/10.21595/lger.2022.22492 -
9
المؤلفون: Yu. G. Kabaldin, M. S. Anosov, D. A. Shatagin, A. V. Kiselev, P. V. Kolchin
المصدر: Russian Engineering Research. 42:100-103
مصطلحات موضوعية: Mechanical Engineering, Industrial and Manufacturing Engineering
-
10
المؤلفون: Yu. G. Kabaldin, M. S. Anosov, D. A. Shatagin, P. V. Kolchin
المصدر: Russian Engineering Research. 41:1027-1030
مصطلحات موضوعية: Mechanical Engineering, Industrial and Manufacturing Engineering