321 - 329 out of 329Page size: 10
Sort by: Title

  1. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О. & Шошмина, И. В., 2024, In: Труды Института системного программирования РАН. 36, 2, p. 141-168 28 p.

    Research output: Contribution to journal › Article › peer-review

  2. СПОСОБ ВОССТАНОВЛЕНИЯ ПАРАМЕТРОВ СМЕЩЕНИЯ ДНА В ЗОНЕ ИСТОЧНИКА ЦУНАМИ

    Лаврентьев, М. М., Марчук, А. Г. & Романенко, А. А., 20 Dec 2009, IPC No. G01V1/38, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2376614, Priority date 12 May 2008, Priority No. 2008118838

    Research output: Patent › Patent for invention

  3. Теория волн

    Васкевич, В. Л., 2025, 2-е ed. Москва: Юрайт. 253 p.

    Research output: Book/Report › Book › Education › peer-review

  4. Теория волн

    Васкевич, В. Л., 2022, 2-е ed. Москва: Юрайт. 253 p.

    Research output: Book/Report › Teaching manual › peer-review

  5. Теория волн

    Васкевич, В. Л., 2024, 2-е ed. Москва: Юрайт. 253 p.

    Research output: Book/Report › Teaching manual › peer-review

  6. Теория волн

    Васкевич, В. Л., 2021, 2-е ed. Москва: Юрайт. 253 p.

    Research output: Book/Report › Teaching manual › peer-review

  7. Технология автоматического управления сетевым оборудованием и услугами, предоставляемыми этим оборудованием

    Адаманский, А. В., Денисов, А. Л. & Тютюньков, В. Е., 12 Oct 2010, Редакционно-издательский центр НГУ, Patent No. 3, Priority date 12 Oct 2010

    Research output: Patent › Know-how registration

  8. Трехмерная скоростная структура земной коры центральной части озера Байкал по данным локальной сейсмической томографии

    Eponeshnikova, L. Y., Duchkov, A. A., Sanzhieva, D. P. D. & Yaskevich, S. V., 2023, In: Geodynamics and Tectonophysics. 14, 1, 17 p., 0683.

    Research output: Contribution to journal › Article › peer-review

  9. Экономическая наука против кризисов. О Нобелевской премии по экономике 2022 года

    Воронов, Ю. П., 2023, In: ЭКО. 53, 1 (583), p. 177-192 16 p., 11.

    Research output: Contribution to journal › Article › peer-review

Previous 1...29 30 31 32 33 Next

ID: 3083378