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

  2. Формирование тестовых последовательностей с помощью SAT-решателя

    Федюкович, П. А., Елаев, Е. В., Мащинский, Н. С. & Гришкин, В. М., 2015, в: Процессы управления и устойчивость. стр. 521-526

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

  3. 2014

  4. Management and information processing at virtual museum

    Anggai, S., Blekanov, I. S. & Sergeev, S. L., 21 мая 2014, Proceedings of the 2014 IEEE 4th International Conference on System Engineering and Technology, ICSET 2014. Institute of Electrical and Electronics Engineers Inc., 7111796

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

  5. Программное обеспечение для обработки и визуализации данных однофотонной эмиссионной компьютерной томографии и позитронно-эмиссионной томографии

    Котина, Е. Д., Овсянников, Д. А., Плоских, В. А., Латыпов, В. Н., Бабин, А. В., Широколобов, А. Ю., Пасечная, Г. А. & Бажанов, П. В., 2014, стр. 21.

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

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

ID: 48319