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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  7. 2015

  8. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 дек 2015, в: Science of Computer Programming. 114, стр. 57-73 17 стр.

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

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

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

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

  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 ноя 2015, 2015 European Control Conference, ECC 2015. Institute of Electrical and Electronics Engineers Inc., стр. 628-633 6 стр. 7330612. (2015 European Control Conference, ECC 2015).

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

  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 ноя 2015, 2015 IEEE Conference on Control and Applications, CCA 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 1367-1372 6 стр. 7320802. (2015 IEEE Conference on Control and Applications, CCA 2015 - Proceedings).

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

  12. Writing style determination using the KNN text model

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

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

Назад 1...18 19 20 21 22 23 24 25 ...46 Далее

ID: 30196