Приложение
для AndroidПолное описание
Protean: автоматизированное средство на основе сетей Петри высокого уровня для спецификации и проверки протоколов связи / ВЦП. - [Б. м. : б. и.]. - 44 c. : ил. - англ. - Пер. ст. Protean: a high-level Petri net tool for the specification and verification of communication protocol / J. Billington, Heeler ; IEEE из журн.: // Transactions on Software Enaineering. - 1988. - Vol. 14, N 3. - P.301-314. - Б. ц. - Текст : непосредственный.
Библиогр.:22 назв.
ГРНТИ 50.07.03 + 20.53.23 + 49.37.29
Рубрики:
Петри сети
Системы передачи данных
Кл.слова (ненормированные): автоматизированное средство -- числовые сети петри -- спецификация -- граф -- множество -- анализ -- циклы
Доп. точки доступа:
Billington, J.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкф.
Гибкая архитектура EWSP обеспечивает универсальную пакетную коммутацию / ЦНТИ Информсвязь. - 24 с. - Текст : непосредственный.Службы пакетного режима: от Х.25 до трансляции циклов / ЦНТИ Информсвязь. - 25 с. - Текст : непосредственный.Взаимодействие систем телекс и систем ВОС / ЦНТИ Информсвязь. - 27 с. - Текст : непосредственный.Опытная передача газет / ЦНТИ Информсвязь. - 18 с. - Текст : непосредственный.Тенденции проектирования телепортов и их развитие в будущем / ВЦП. - 16 с. - Текст : непосредственный.Модем торговой марки Смарт Уан со скоростью передачи данных 2400 бит/с : Инструкция по эксплуатации / ВЦП. - 56 с. - Текст : непосредственный.Внутренний модем 2400. Модели LCS-8824B и LCS 8824В/II : Руководство пользователя / ВЦП. - 52 с. - Текст : непосредственный.Дополнение к БИТ КОМ ДЕЛЮКС С 5 / ВЦП. - 6 c. - Текст : непосредственный.Справочное руководство к пользованию и обслуживанию миникомпьютерных систем дистанционной передачи данных Р871, Р874 и Р876 / ВЦП. - 322 с. - Текст : непосредственный.Левитан Р.И. Разработка метода и средств повышения качества функционирования волоконно-оптических систем передачи : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.02;05.12.20 / Р. И. Левитан, 1991. - 16 с. - Текст : непосредственный.Сон А.В. Модели и методы расчета ассоциаций локальных сетей передачи данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.14 / А. В. Сон, 1991. - 16 с. - Текст : непосредственный.Фильчагин А.Ю. Модели и методы расчета локальных кольцевых коммутируемых сетей передачи данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.14 / А. Ю. Фильчагин, 1990. - 16 с. - Текст : непосредственный.Амирсаидов У.Б. Модели и методы выбора эффективных локальных сетей передачи данных с резервированием времени : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.14 / У. Б. Амирсаидов , 1990. - 16 с. - Текст : непосредственный.Скрынник И.В. Автоматизация системного надежностного проектирования систем передачи и обработки информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. В. Скрынник, 1991. - 21 с. - Текст : непосредственный.Джамал Рисан Ахмед.Алгоритмические и аппаратурные способы коррекции гистерезиса в пьезоэлектрических переключателях оптических каналов : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Джамал Рисан Ахмед, 1991. - 16 с. - Текст : непосредственный.Коваль А.И. Распространение уединенных волновых пакетов в периодических структурах с активной и реактивной нелинейностью : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.03 / А. И. Коваль, 1991. - 13 с. - Текст : непосредственный.Морей А. Исследование и разработка методов оценки достоверности передачи информации в цифровых многоканальных когерентных ВОСП : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.20 / А. Морей, 1991. - 24 с. - Текст : непосредственный.Козлов В.Н. Исследование и разработка цифровых систем фазовой синхронизации с косвенным управлением частотой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.17 / В. Н. Козлов, 1992. - 16 с. - Текст : непосредственный.Токарев Ю.П. Модели и программное обеспечение для исследования вероятностно-временных характеристик радиосетей передачи данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Ю. П. Токарев, 1992. - 19 с. - Текст : непосредственный.Аль Хаш Аль Самах М.Анализ и разработка методов и устройств сопряжения терминала системы видеотекс с бытовым телевизором : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.17 / Аль Хаш Аль Самах М., 1992. - 21 с. - Текст : непосредственный.
Показать все результатыГибкая архитектура EWSP обеспечивает универсальную пакетную коммутацию / ЦНТИ Информсвязь. - 24 с. - Текст : непосредственный.Тенденции проектирования телепортов и их развитие в будущем / ВЦП. - 16 с. - Текст : непосредственный.Доступ к общественной мультимегабитной коммутируемой службе передачи данных / ВЦП. - 27 с. - Текст : непосредственный.Дополнение к БИТ КОМ ДЕЛЮКС С 5 / ВЦП. - 6 c. - Текст : непосредственный.Справочное руководство к пользованию и обслуживанию миникомпьютерных систем дистанционной передачи данных Р871, Р874 и Р876 / ВЦП. - 322 с. - Текст : непосредственный.Анализатор параметров линий передачи данных модели DLA-5A : Техническое описание и инструкция по эксплуатации. Серия AD / ВЦП. - 96 c. - Текст : непосредственный.Прибор для проверки данных DT-10 / ВЦП. - 100 c. - Текст : непосредственный.Protean: автоматизированное средство на основе сетей Петри высокого уровня для спецификации и проверки протоколов связи / ВЦП. - 44 c. - Текст : непосредственный.Hardman L. Structured multimedia authoring / L.Hardman,G.van Rossum,D.C.A.Bulterman, 1993. - 12 p. - Текст : непосредственный.Tutorial:computer communications:architectures,protocols,and standards / ed. W. Stallings, 1987. - VII,439 p. p. - Текст : непосредственный.Tutorial:Digital private branch exchanges(PBXs) / ed. E. R. Coover, 1989. - IX,381 p. p. - Текст : непосредственный.Datenkommunikation 1986-1991 : Aspekte und Entwicklungen / hrsg. W. Effelsberg, 1993. - 489 S. - Текст : непосредственный.Boucherie R.J. A structural characterisation of product form stochastic Petri nets / R.J.Boucherie,M.Sereno, 1994. - 19 p. - Текст : непосредственный.Spaniol O. Rechnerkommunikation : OSI-Referenzmodell,Dienste und Protokolle / O.Spaniol,K.Jakobs, 1993. - 424 мкф.Black U. Physical level interfaces and protocols / U.Black, 1988. - XVII,218 p. p. - Текст : непосредственный.Желтова Л.В. Анализ сетевых моделей : Конспект лекций / Л.В.Желтова,В.П.Желтов, 1994. - 40 c. - Текст : непосредственный.Suss W. Konzeption und Entwicklung eines graphischen Analysewerkzeugs fur Hohere Petri-Netze mit zustandsabhangiger Schaltregel : Diss. / W.S@:uss, 1993. - 116 S. - Текст : непосредственный.Dupmeier C. Algebraische Spezifikation und Modellierung in Hoheren Petri-Netzen mit zustandsabhangiger Schaltregel : Diss. / C.D@:upmeier, 1994. - 147 S. - Текст : непосредственный.Хаусли Т. Системы передачи и телеобработки данных / Т.Хаусли;Пер. с англ. под ред. Ю.М.Мартынова, 1994. - 453 c. - Текст : непосредственный.Модемы и их применение для передачи данных / Л.А.Копейкина,А.С.Витер,В.Ю.Лебедев и др.;Под общ.ред.Немчинова В.М., 1994. - 57 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽