211 - 220 out of 455Page size: 10
  1. 2016

  2. Поддержка диаграммы классов языка UML 2.5 в среде QReal

    Литвинов, Ю. В. & Храмышкина, Ю. С., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 86-87

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

  3. Поддержка работы с подпрограммами в DSM-платформе

    Литвинов, Ю. В. & Когутич, Д. А., 2016, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 47-49

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

  4. Разработка онлайн-метаредактора QReal-Web

    Литвинов, Ю. В. & Черниговская, Л. А., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 29-31

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

  5. Реализация редактора сетей Петри в системе QReal

    Литвинов, Ю. В. & Тарасова, П. М., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 84-85

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

  6. Сравнение образовательных сред визуального программирования роботов

    Литвинов, Ю. В. & Мордвинов, Д. А., 2016, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, p. 32-49

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

  7. 2015

  8. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 Dec 2015, In: Science of Computer Programming. 114, p. 57-73 17 p.

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

  9. Проблемы сетевого управления

    Фрадков, А. Л., Ананьевский, М. С., Амелина, Н. О., Граничин, О. Н., Пчелкина, И. В. А. И. В. ., Проскурников, А. В., Матвеев, А. С., Селиванов, А. А., Джунусов, И. А., Фуртат, И. Б., Фридман, Э. & Андриевский, Б. Р., Dec 2015, Москва-Ижевск: Institute of Computer Science. 329 p.

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

  10. Optimal step-size of a local voting protocol for differentiated consensuses achievement in a stochastic network with priorities

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 16 Nov 2015, 2015 European Control Conference, ECC 2015. Institute of Electrical and Electronics Engineers Inc., p. 628-633 6 p. 7330612. (2015 European Control Conference, ECC 2015).

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

  11. Optimal step-size of a local voting protocol for differentiated consensuses achievement in a stochastic network with cost constraints

    Ivanskiy, Y., Amelina, N., Granichin, O., Granichina, O. & Jiang, Y., 4 Nov 2015, 2015 IEEE Conference on Control and Applications, CCA 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1367-1372 6 p. 7320802. (2015 IEEE Conference on Control and Applications, CCA 2015 - Proceedings).

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

  12. Writing style determination using the KNN text model

    Granichin, O., Kizhaeva, N., Shalymov, D. & Volkovich, Z., 26 Oct 2015, 2015 IEEE International Symposium on Intelligent Control, ISIC 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 900-905 6 p. 7307296. (IEEE International Symposium on Intelligent Control - Proceedings; vol. 2015-October).

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

Previous 1...18 19 20 21 22 23 24 25 ...46 Next

ID: 30196