Вы здесь

Шкляев Д. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Дедуктивная верификация протокола скользя его окна 2012 Шкляев Д. А., Непомнящий В. А. Моделирование и анализ информационных систем 10.06.2013
СТ Формальная верификация понятий отказоустойчивости для распределенных баз данных 2011 Шкляев Д. А. Информационные технологии 05.04.2011
СТ Формальная верификация понятий отказоустойчивости для распределенных баз данных 2011 Шкляев Д. А. Информационные технологии 04.04.2011
СТ О семантических аспектах потоковых вычислений с цветными фишками 1996 Вирбицкайте И. Б., Вотинцева А. В., Шкляев Д. А. Программирование 31.07.1996