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

  2. 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).

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

  3. The chronology of the Early Neolithic Baraba culture, southwestern Siberia: New radiocarbon evidence

    Molodin, V. I., Mylnikova, L. N., Nenakhov, D. A., Menshanov, P. N. & Parkhomchuk, E. V., 22 авг. 2025, в: Radiocarbon. стр. 1-16 16 стр.

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

Назад 1 2 3 4 5 Далее

ID: 41345111