Публикации
References
2016 |
Books: |
---|
Объектно-ориентированное моделирование в среде Rand Model Designer 7: учебно-практическое пособие
Publisher: Изд. Проспект,
2016
|
2015 |
Articles: |
Аппаратное ускорение выполнения SQL-запросов в MDM-системах на основе МКОД-решения
Наука и Образование. МГТУ им. Н.Э. Баумана,
:128 – 136
December
2015
|
Мотивационные аспекты использования мобильных технологий в образовательном процессе вузов
Научные ведомости БелГУ, Серия «Экономика. Информатика»,
19(36/1):144-151
2015
|
Методика апробации внедрения мобильных сервисов на платформе управления мобильными устройствами в вузах
Научные ведомости БелГУ, Серия «Экономика. Информатика»,
19(36/1):152-159
2015
|
Ключевые показатели эффективности при управлении образовательными организациями c использованием технологии MDM и BYOD
Научно-технические ведомости СПбГПУ Информатика. Телекоммуникации. Управление 6(230,
6(230):81-94
2015
|
Contributions to proceedings: |
Технологические вопросы использования мобильных технологий в образовании
Труды международной научно-практической конференции ЭКОПРОМ-2015
, page 804-810.
2015
|
2014 |
Articles: |
Синдром “146%”: некомпетентность или злой умысел?
Открытые системы,
(5)
2014
|
2013 |
Books: |
Компонентные технологии математического моделирования
Publisher: СПбГПУ,
2013
ISBN: 978-5-7422-3997-9
|
2012 |
Articles: |
Новая жизнь верификации
Открытые системы. СУБД,
(3)
2012
|
Устойчивое развитие общества и обеспечение качества программных систем управления.
Научно-технические ведомости СПбГПУ,
№3.1(154):71-73
2012
|
Модельно-ориентированный метод спецификации государственных услуг
Вестник Санкт-Петербургского университета. Серия 10: Прикладная математика. Информатика. Процессы управления.,
№4:102-116
2012
|
Пакеты моделирования в образовании: современная ситуация и нерешенные проблемы
Компьютерные инструменты в образовании,
5:44-45
2012
|
Contributions to proceedings: |
Повышение качества программных систем.
Труды Санкт-Петербургского научного форума “Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий”.
September
2012
|
PhD theses: |
Разработка модели распространения инфекционных заболеваний на основе
агентного подхода
Диссертация на соискание ученой степени кандидата технических наук
Санкт-Петербургский государственный политехнический университет,
2012
|
2011 |
Articles: |
От научно-исследовательской до промышленной версии: на примере среды визуального моделирования RandModelDesigner.
Научно-технические ведомости СПбГПУ,
6(138)
2011
|
Smart grid. Разработка приложений
Научно-технические ведомости СПбГПУ,
№6.1(138):115-121
2011
|
Роль имитационного моделирования в задачах внедрения технологий SmartGrid
Имитационное моделирование. Теория и практика. - СПб., ОАО "ЦТСС",
:65-74
2011
|
От научно-исследовательской до промышленной версии: на примере среды визуального моделирования Rand Model Designer.
Научно-технические ведомости СПбГПУ,
6.1(138).
2011
|
Books: |
Верификация распределенных систем
Publisher: СПбГПУ,
2011
|
Contributions to proceedings: |
Объектно-ориентированный подход к разработке тренажера грузовых операций на море.
Proceedigs of international conference SCM MEMTS
, page 7 стр..
2011
|
2010 |
Articles: |
Применение агентного подхода к имитационному моделированию процесса распространения заболевания.
Научно-технические ведомости СПбГПУ,
11(2):126-132
February
2010
|
Books: |
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
|
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
|
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1
|
Contributions to proceedings: |
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады
, page 88-92.
СПб.
2010
|
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции
, page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
|
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
|
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
|
2009 |
Articles: |
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании,
№2:45-56
2009
|
Books: |
Моделирование. Объектно-ориентированное моделирование в задачах внешней баллистики. Учебное пособие
Publisher: Изд-во Политехн. ун-та, СПб.
2009
|
2008 |
Contributions to proceedings: |
Моделирование и исследование сложных динамических систем в MvStudium.
VI научно-техническая конференция “Научное программное обеспечение в образовании и научных исследованиях"
, page стр. 67-70.
2008
|
2007 |
Articles: |
Их есть у меня! Моделирование и исследование сложных динамических систем в MvStudium.
Компьютерные инструменты в образовании,
№3:стр.33-40
2007
|
Формы представления динамических систем в MvStudium.
Компьютерные инструменты в образовании,
№4:стр.44-50
2007
|
Физическое моделирование в MvStudium
Компьютерные инструменты в образовании,
№5:стр.14-20
2007
|
Учебный процесс и MvStudium
Компьютерные инструменты в образовании,
№6:стр.32-39
2007
|
Сложность алгоритмов и программ
Компьютерные инструменты в образовании,
№6:4-10
2007
|
Моделирование исторических процессов в школьной информатике
Компьютерные инструменты в образовании,
№5:41-48
2007
|
Books: |
Моделирование систем. Практикум по компьютерному моделированию. Учебное пособие.
Publisher: БХВ-Петербург,
2007
|
Теория и технология программирования. Основы построения трансляторов
Publisher: БХВ,
2007
|
Contributions to proceedings: |
Использование символьных вычислений в пакетах визуального моделирования
Труды международной научно-технической конференции "Компьютерное моделирование 2007"
, page 134-135.
Publisher: СПбГПУ, Санкт-Петербург
2007
|
О возможностях "физического моделирования" в среде MvStudium
Труды международной научно-технической конференции "Компьютерное моделирование 2007"
, page 144-145.
Publisher: СПбГПУ, Санкт-Петербург
2007
|
2006 |
Books: |
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Publisher: БХВ,
2006
|
Моделирование систем. Динамические и гибридные системы : учеб. пособие для вузов по направл. 220100 - \"Системный анализ и управление\"
Publisher: БХВ-Петербург, СПб.
2006
|
Моделирование систем : Объектно-ориентированный подход : учеб. пособие для вузов по направл. 220100 - \"Системный анализ и управление\"
Publisher: БХВ-Петербург, СПб
2006
|
Contributions to proceedings: |
Model Vision 4.0 - новые возможности
Труды IV региональной научно-технической конференции "Практика применения научного программного обеспечения в образовании и научных исследованиях"
, page 15-25.
Publisher: СПбГПУ, Санкт-Петербург
2006
|
Компьютерное моделирование
Труды международной научно-технической конференции "Компьютерное моделирование 2006"
, page 32-36.
Publisher: СПбГПУ, Санкт-Петербург
2006
|
2005 |
Books: |
Теория автоматов
Publisher: Питер,
2005
|
Contributions to proceedings: |
Model Vision 4.0 - инструмент для исследования сложных динамических систем
Труды VI международной научно-технической конференции "Компьютерное моделирование 2005"
, page 21-27.
Publisher: СПбГПУ, Санкт-Петербург
2005
|
2002 |
Articles: |
Концепция информационной поддержки и обеспечение образовательных порталов
Науч.-техн. Ведомости СПбГТУ,
№1
2002
|
Books: |
Практическое моделирование динамических систем : Учеб.пособие
Publisher: БХВ-Петербург, Санкт-Петербург
2002
|
2001 |
Books: |
Визуальное моделирование сложных динамических систем
Publisher: Мир и Семья, Санкт-Петербург
2001
|
2000 |
Books: |
Визуальное моделирование
Publisher: Профессионал Санкт-Петербург,
2000
|
1998 |
Articles: |
Управление качеством сервиса в распределенных системах
журнал РАН "Информационные технологии и вычислительные системы",
№1:78-85
1998
|
Books: |
Теория алгоритмов и автоматов
Publisher: Нестор, С.Петербург,
1998
|
1996 |
Articles: |
О корректности параллельных алгоритмов
журнал РАН "Программирование",
№4:5-17
1996
|
Анализ корректности параллельной программы разделения множеств
журнал РАН "Программирование",
№6:27-33
1996
|
1976 |
Books: |
Статистическая оптимизация навигационных систем.
Publisher: Судостроение, Ленинград
1976
|
mailto: webmaster@dcn.ftk.spbstu.ru