Приложение
для AndroidПолное описание
Поступальский, П. А. Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : автореферат диссертации на соискание ученой степени канд.техн.наук:04.13.11 / П. А. Поступальский. - Владивосток, 1997. - 19 с. : ил. - Текст : непосредственный.
Библиогр.:с. 17-19(11 назв.)
| ГРНТИ | УДК | |
| 50.39.19 | 004.75.057.4(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР97-3137)
Шифр в сводном ЭК: d4a569ae182f8ff62b47eaf724adb124
Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 1 : Based on the proceedings of the March 1990 National institute of standards and technology OSI implementor's workshop, 1991. - XXVIII,pag.var. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 2 : Based on the proceedings of the June National institute of standards and technology OSI implementor's workshop, 1991. - Pag.var. - Текст : непосредственный.Полукаров Д.Ю. Методы IP-маршрутизации на основе алгоритмов с использованием нечетких множеств : специальность 05.13.13 "" : диссертация на соискание ученой степени канд. техн. наук / Д. Ю. Полукаров, 2007. - 16 с. - Текст : непосредственный.Системный администратор : ежемесячный журнал. - Журнал выходит с 2002г. r=on-line. - Текст : электронный.Хабракен Д. Маршрутизаторы Cisco / Д. Хабракен, 2001. - 315 с. - Текст : непосредственный.Высокопроизводительные вычислительные системы и микропроцессоры : Сб. науч. тр. / Ин-т высокопроизводит. вычислит. систем. Вып. 1, 1999. - 98 с. - Текст : непосредственный.Баландин С.И. Распределенное управление ресурсами для повышения производительности IP сетей : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)", 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. И. Баландин, 2003. - 16 с. - Текст : непосредственный.Кларк Д.Д. Руководство Novell для специалистов CNE. Записки Кларка. Администрирование NetWare 5: Курс 560 / Д. Д. Кларк, 2001. - 209 с. - Текст : непосредственный.Protocol specification testing, and verification,IX : сборник / Ed. E. Brinksma, 1990. - XVI,401 p. p. - Текст : непосредственный.Бельтов А.Г. Методы оценки качества функционирования магистральных каналов передачи данных глобальных сетей : специальность 05.13.13 "" : диссертация на соискание ученой степени канд. техн. наук / А. Г. Бельтов, 2006. - 16 с. - Текст : непосредственный.Карпенко А.П. Параметрическое согласование вычислительных алгоритмов с архитектурой многопроцессорных систем : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / А. П. Карпенко, 1994. - 37 с. - Текст : непосредственный.Живучесть и реконфигурация вычислительных систем : монография / Украинский республиканский дом экономической и науч.-технической пропаганды (Киев), 1991. - 23 c. - Текст : непосредственный.Белый Д.В. Модель организации рестартов в системах реального времени / Д. В. Белый, Б. Г. Сушков, 1996. - 32 c. - Текст : непосредственный.Кабанов В.А. Графовые модели размещения информации во внешних накопителях вычислительных систем : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Кабанов, 1994. - 20 с. - Текст : непосредственный.Обзоры по электронной технике / ЦНИИ "Электроника". Вып. 2(1601) : Математические модели для системного уровня диагностики неисправностей в мультипроцессорных системах / В.Г.Баранов,В.В.Гладков,Б.Н.Махалин, 1991. - 58 с. - Текст : непосредственный.Тимофеев Е.А. Оптимизация очередей в вычислительных системах : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / Е. А. Тимофеев, 1996. - 25 с. - Текст : непосредственный.Богуславский Л.Б. Вероятностные методы и модели управления потоками данных и ресурсами в сетях и многопроцессорных системах : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн.наук / Л. Б. Богуславский, 1995. - 38 с. - Текст : непосредственный.Денисов Е.А. Комплексная оценка эффективности методов иерархической распределенной адаптивной маршрутизации в корпоративных вычислительных сетях : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / Е. А. Денисов, 2002. - 20 с. - Текст : непосредственный.Кхорзом Кхалдун.Исследование и разработка методов и средств анализа и обеспечения надежности отказоустойчивых вычислительных систем реального времени : специальность 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : автореферат диссертации на соискание ученой степени канд. техн. наук / Кхорзом Кхалдун, 2001. - 16 с. - Текст : непосредственный.Коробко И.В. Администрирование сетей Windows с помощью сценариев / И. В. Коробко, 2007. - XII,350 с. - Текст : непосредственный.
Показать все результатыСоколов В.В. Совместное использование MSC и SDL моделей при разработке событийно-ориентированных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / В. В. Соколов, 2007. - 16 с. - Текст : непосредственный.
Поступальский П.А. Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:04.13.11 / П. А. Поступальский, 1997. - 19 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽