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

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

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

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

  3. 2008

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

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

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

  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, стр. 183-192 (Lecture Notes in Computer Science ; том 4696).

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

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

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

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

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

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

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

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

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

    Результаты исследований: Рабочие материалы › рабочие материалы

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

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

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

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

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

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

  12. 2006

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

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

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

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

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

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

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

ID: 195757