22611 - 22620 из 27 261Размер страницы: 10
Сортировать по:: Заголовок

  1. Verbal quandles with one parameter

    Markhinina, E. & Nasybullov, T., 1 мар. 2025, в: Topology and its Applications. 362, 109203.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

    Naumchev, A., Sadovykh, A. & Ivanov, V., 8 окт. 2019, VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, стр. 351-363 13 стр. 30. (Software Technology: Methods and Tools; том 11771).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  3. Verdazyl Radical Building Blocks: Synthesis, Structure, and Sonogashira Cross-Coupling Reactions

    Petunin, P. V., Martynko, E. A., Trusova, M. E., Kazantsev, M. S., Rybalova, T. V., Valiev, R. R., Uvarov, M. N., Mostovich, E. A. & Postnikov, P. S., 16 сент. 2018, в: European Journal of Organic Chemistry. 2018, 34, стр. 4802-4811 10 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1440-1445 6 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  5. Verification Method of Hypothesis Based on Different EEG Data Statistical Processing

    Merkulova, E. A., Ladonovskaya, K. V., Bocharov, A. V. & Kozulin, I. A., 2022, Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society, стр. 525-529 5 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; том 2022-June).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  6. Verification of a Beam of Epithermal Neutrons for Boron-Neutron Capture Therapy

    Verkhovod, G. D., Kasatov, D. A., Kolesnikov, I. A., Koshkarev, A., Makarov, A. N., Shchudlo, I. M., Sycheva, T. V., Savinov, S. S. & Taskaev, S. Y., 2021, 27th Russian Particle Accelerator Conference, RuPAC 2021. Kuzin, M. & Schaa, V. R. W. (ред.). CERN, стр. 199-201 3 стр. MOPSA47. (CERN-Proceedings; том 2021-September).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  7. Verification of Diffusion Model for Coastal Profile Evolution

    Baramiya, D., Lavrentiev, M. & Spigler, R., 5 окт. 2020, 2020 Global Oceans 2020: Singapore - U.S. Gulf Coast: Singapore - U.S. Gulf Coast. Institute of Electrical and Electronics Engineers Inc., 9389256. (2020 Global Oceans 2020: Singapore - U.S. Gulf Coast).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  8. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 янв. 2018, в: CEUR Workshop Proceedings. 2260, стр. 511-524 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  9. Verification of industrial control algorithms in virtual laboratory stands

    Liakh, T. & Zyubin, V., 2017, 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., стр. 380-384 5 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  10. Verification of kinetic schemes of hydrogen ignition and combustion in air

    Fedorov, A. V., Fedorova, N. N., Vankova, O. S. & Tropin, D. A., 28 мар. 2018, XV All-Russian Seminar "Dynamics of Multiphase Media", DMM 2017. Fomin (ред.). American Institute of Physics Inc., Том 1939. 8 стр. 020019. (AIP Conference Proceedings; том 1939).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Назад 1...2258 2259 2260 2261 2262 2263 2264 2265 ...2727 Далее