11 - 20 out of 26Page size: 10
  1. 2009

  2. ОПЕРАЦИИ НАД ЦЕЛОЧИСЛЕННЫМИ ФУНКЦИЯМИ, ПРЕДСТАВЛЕННЫМИ В ВИДЕ НАБОРА БИНАРНЫХ РАЗРЕШАЮЩИХ ДИАГРАММ

    Бугайченко, Д. Ю., 2009, In: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ МОДЕЛИРОВАНИЯ И УПРАВЛЕНИЯ. 3 (55), p. 358-365

    Research output: Contribution to journal › Article

  3. 2008

  4. Методы накопления и анализа опыта для самонастраивающихся мультиагентных систем

    Бугайченко, Д. Ю. & Соловьев, И. П., 2008, Материалы конференции «Космос, астрономия и программирование (Лавровские чтения)». p. 23-30

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  5. 2007

  6. MASL: A Logic for the Specification of Multiagent Real-Time Systems

    Bugaychenko, D. & Soloviev, I., 2007, Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Springer Nature, p. 183-192 (Lecture Notes in Computer Science ; vol. 4696).

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  7. Верификация распределенных си­стем реального времени по спецификации MASL

    Бугайченко, Д. Ю., 2007, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1, 3, p. 65-74

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

  8. Комплекс средств разработки проблемно-ориентированных визуальных языков

    Кознов, Д. В., Перегудов, А. Ф., Бугайченко, Д. Ю., Казакова, А. С., Чернятчки, Р. И., Фесенко, Т. А. & Иванов, А. Н., 2007, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 10, 2, p. 86-96

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

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

    Бугайченко, Д. Ю., 2007, 259 p.

    Research output: Working paper

  10. Символическое планирование в ограничениях CTL.

    Бугайченко, Д. Ю., 2007, Процессы управления и устойчивость. Труды международной научной конференции.. p. 335-341

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

  11. Формально-логическая специфика­ция мультиагентных систем реаль­ного времени.

    Бугайченко, Д. Ю. & Соловьев, И. П., 2007, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1, 2, p. 49-57

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

  12. 2006

  13. Архитектура изолированного интеллектуально­го агента.

    Бугайченко, Д. Ю. & Соловьев, И. П., 2006, In: СОВРЕМЕННЫЕ ПРОБЛЕМЫ ИНФОРМАТИЗАЦИИ В МОДЕЛИРОВАНИИ И АНАЛИЗЕ СЛОЖНЫХ СИСТЕМ. 2, 11, p. 220-222

    Research output: Contribution to journal › Article

  14. ВИЗУАЛЬНАЯ СРЕДА ПРОЕКТИРОВАНИЯ СИСТЕМ ТЕЛЕВИЗИОННОГО ВЕЩАНИЯ

    Кознов, Д. В., Перегудов, А. Ф., Бугайченко, Д. Ю., Чернятчик, Р. И., Казакова, А. С. & Павлинов, А. А., 2006, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 1, p. 142-168

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

Previous 1 2 3 Next

ID: 195757