31 - 33 out of 33Page size: 10
  1. 2015

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

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

    Research output: Contribution to journal › Article

  3. 2014

  4. Management and information processing at virtual museum

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

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

    Research output: Contribution to conference › Abstract

Previous 1 2 3 4 Next

ID: 48319