Полное описание
>
Чурина, Т. Г. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Т. Г. Чурина. - Новосибирск : [б. и.], 2000. - 19 с. - Текст : непосредственный.
В надзаг. : Рос. АН. Сиб. отд-ние. Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 17-18(14 назв.)
| ГРНТИ | УДК | |
| 50.05.15 | 004.7.057.4(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Лукьянец А.В. Инструментальные средства генерации оптимальных режимов функционирования компонентов проблемно-ориентированных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Лукьянец, 1990. - 16 с. - Текст : непосредственный.Разработка плана восстановительных работ в случае отказа функционирования вычислительных систем / ВЦП. - 10 c. - Текст : непосредственный.Дорофеев А.Н. Моделирование и анализ конфликтов транзакций в информационных системах на основе гетерогенных баз данных : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Дорофеев, 2003. - 16 с. - Текст : непосредственный.Адигамов А.Э. Автоматизация структурного анализа синтеза имитационных моделей при проектировании сетей ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / А. Э. Адигамов, 1997. - 22 с. - Текст : непосредственный.Козлов В.А. Методология построения профилей взаимосвязи открытых систем: На прим. Госпрофиля ВОС России : Диссертация в виде науч. докл. на соискание ученой степени д-ра техн. наук:05.13.05:05.13.13 / В. А. Козлов, 1997. - 69 с. - Текст : непосредственный.Чурина Т.Г. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Т. Г. Чурина, 2000. - 19 с. - Текст : непосредственный.Абу Знейт Рушди Салим Х.Алгоритмические методы обеспечения отказоустойчивости вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / Абу Знейт Рушди Салим Х, 2000. - 17 с. - Текст : непосредственный.Пономарев А.В. Многопараметрическая маршрутизация в переходных режимах функционирования вычислительных сетей : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / А. В. Пономарев, 2001. - 14 с. - Текст : непосредственный.Руин А.А. Исследование вероятностно-временных характеристик региональных сетей, построенных на базе технологии устойчивых пакетных колец : автореф. дис. .. канд. техн. наук : 05.12.13 / А. А. Руин, 2003. - 16 c. - Текст : непосредственный.Scheduling in computer and manufacturing systems / J.Blazewicz,K.H.Ecker,G.Schmidt,J.Weglarz, 1994. - IX,312 p. p. - Текст : непосредственный.Workload characterization of computer systems and computer networks : Coll.invited lectures pres.at the Intern.workshop on ..,23-25 Oct.,1985,Pavia / Ed. G. Serazzi, 1986. - X,178 p. p. - Текст : непосредственный.Айзекс С. Dynamic HTML : Секреты создания интерактив.Web-страницПер.с англ. / С.Айзекс, 1998. - 488 с. - Текст : непосредственный.Microsoft FrontPage98 : Пер.с англ., 1998. - 309 с. - Текст : непосредственный.Хоббс Л. Домашние странички Internet / Л.Хоббс, 1998. - 149 с. - Текст : непосредственный.Chandler D.M. Running a perfect Web Site / D.M.Chandler,B.Kirkner,J.Minatel, 1995. - xviii,457 p. p.Running a perfect Web Site with Windows / M.Surfas,D.M.Chandler,T.Anthony и др., 1996. - xxxiv,678 p. p.Дунаев С. Доступ к базам данных и техника работы в сети. Практические приемы современного программирования / С.Дунаев, 1999. - 416 с. - Текст : непосредственный.Шафран Э. Создание Web страниц : Самоучитель:Пер.с англ. / Э.Шафран, 1999. - 310 с. - Текст : непосредственный.Pappe S. Datenbankzugriff in offenen Rechnernetzen / S.Pappe, 1991. - IX,205 S. S. - Текст : непосредственный.Мэтьюс М. FrontPage 2000 : Пер. с англ. / М.Мэтьюс,Э.Полсен;Под ред. О.Б.Витенко, 1999. - 334 с. - Текст : непосредственный.
Показать все результатыСабельникова С.В. Исследование и разработка транспортных протоколов с прямой коррекцией ошибок в вычислительных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / С. В. Сабельникова, 1991. - 18 с. - Текст : непосредственный.Кищенко К.Ю. Разработка и исследование метода проектирования реализации протоколов интеллектуальных терминалов на основе модели процедурного автомата : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / К. Ю. Кищенко, 1993. - 20 с. - Текст : непосредственный.Анисимов Н.А. Композициональные методы разработки протоколов на основе сетей Петри : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / Н. А. Анисимов, 1994. - 31 с. - Текст : непосредственный.Чурина Т.Г. Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Т. Г. Чурина, 2000. - 19 с. - Текст : непосредственный.Разработка методов оценки средней скорости передачи данных по протоколу ТСР : автореф. дис. .. канд. техн. наук : 05.12.13 / Р. А. Дунайцев, 2005. - 16 c. - Текст : непосредственный.Разработка и исследование метода повышения скорости передачи данных в мультисервисных сетях на основе стека протоколов TCP/IP : автореф. дис. .. канд. техн. наук : 05.12.13 / М. М. Тимошина, 2013. - 16 с. - Текст : непосредственный.Ахмед Набиль Мухаммед Мудхш.Повышение эффективности протоколов передачи данных в системах высокопроизводительных вычислений кластерной архитектуры : автореф. дис. .. канд. техн. наук : 05.13.15 / Ахмед Набиль Мухаммед Мудхш, 2018. - 18 с.
Заказ фрагмента документа ₽