771 - 780 из 1 164Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  3. Intermediate dynamics of the four pions production in e+e− annihilation and tau decay processes

    CMD-3 Collaboration, 2019, в: Proceedings of Science. 364, 525.

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

  4. Study of e+e− annihilation into hadrons with the SND detector at the VEPP-2000 collider

    Druzhinin, V. P., Achasov, M. N., Barnyakov, A. Y., Baykov, A. A., Beloborodov, K. I., Berdyugin, A. V., Bogdanchikov, A. G., Botov, A. A., Dimova, T. V., Golubev, V. B., Kardapoltsev, L. V., Kharlamov, A. G., Korol, A. A., Kovrizhin, D. P., Kupich, A. S., Litvinov, R. A., Martin, K. A., Melnikova, N. A., Obrazovsky, A. E., Pakhtusova, E. V., еще 7Pugachev, K. V., Serednyakov, S. I., Shtol, D. A., Silagadze, Z. K., Surin, I. K., Usov, Y. V. & Zabin, V. N., 2019, в: Proceedings of Science. 364, 509.

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

  5. Study of e+e- annihilation to hadrons at the VEPP-2000 collider

    SND Detector, 2019. 7 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  6. Алгоритм предобработки сигнала импульсного нейтронного гамма-каротажа с учетом статистической зависимости соседних элементов спектра

    Косогова, Н. О. & Власов, А. А., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 42-52 11 стр.

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

  7. Методика автоматического тестирования развивающегося веб-приложения

    Ткачев, А. В. & Иртегов, Д. В., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 93-110 18 стр.

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

  8. Разработка программных средств прозрачного удаленного доступа к технологическим параметрам бурения и данным скважинной телеметрической системы в условиях нестабильной связи

    Литвинов, В. С., Власов, А. А. & Teitelbaum, D. V., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, стр. 101-113 13 стр.

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

  9. Системы автоматизированной оценки заданий по программированию: разработка, использование и перспективы

    Иртегов, Д. В., Нестеренко, Т. В. & Чурина, Т. Г., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, стр. 61-73 13 стр.

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

  10. 2018

  11. Search for the rare decay of B+ →+νγ with improved hadronic tagging

    Belle Collaboration, 28 дек. 2018, в: Physical Review D. 98, 11, 13 стр., 112016.

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

  12. First Evidence for cos2β>0 and Resolution of the Cabibbo-Kobayashi-Maskawa Quark-Mixing Unitarity Triangle Ambiguity

    BaBar Collaboration, 26 дек. 2018, в: Physical Review Letters. 121, 26, 11 стр., 261801.

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

Назад 1...74 75 76 77 78 79 80 81 ...117 Далее

ID: 3081178