АР91-10023 Сабельникова, С. В. Исследование и разработка транспортных протоколов с прямой коррекцией ошибок в вычислительных сетях [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / С. В. Сабельникова. - М., 1991. - 18 с. : ил В надзаг.: Моск.ин-т связи. Библиогр.: с. 17-18(5назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР93-1610 Кищенко, К. Ю. Разработка и исследование метода проектирования реализации протоколов интеллектуальных терминалов на основе модели процедурного автомата [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / К. Ю. Кищенко. - М., 1993. - 20 с. : ил В надзаг.: Моск.энерг.ин-т. Библиогр.: с. 20(3 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-274 Анисимов, Н. А. Композициональные методы разработки протоколов на основе сетей Петри [Текст] : автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / Н. А. Анисимов. - Владивосток, 1994. - 31 с В надзаг.: Рос.АН. Дальневост. отд-ние. Ин-т автоматики и процессов упр. Библиогр.: с.27-31(43назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР01-4555 Чурина, Т. Г. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Т. Г. Чурина. - Новосибирск, 2000. - 19 с. В надзаг. : Рос. АН. Сиб. отд-ние. Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 17-18(14 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |