Полное описание
> Веретельникова, Е. Л. Теория вычислительных процессов : учеб. пособие / Е. Л. Веретельникова. - Новосибирск : [б. и.], 2010 - . - В надзаг.: Новосибирский гос. технический ун-т. - Текст : непосредственный. Ч. 2 : Теория сетей Петри и моделирование систем. - 2010. - 60 с. : ил. - Библиогр.: с. 58 (2 назв.). - 100 экз. - ISBN 978-5-7782-1340-1
ГРНТИ УДК 27.45.17 519.179.2 50.39 004.7-047.58
Рубрики: Петри сети
Вычислительные системы -- Моделирование
>
Экз-ры полностью 184ee81d3ec59662bcdaa1f382e237d9 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/65869/2)>
Шифр в сводном ЭК: 184ee81d3ec59662bcdaa1f382e237d9
Рабинович Е.В. Теория вычислительных процессов : учебник / Е. В. Рабинович, 2007. - 167 с. - Текст : непосредственный. Дронов В.В. Теория вычислительных процессов : конспект лекций / В. В. Дронов, 2009. - 86 с. - Текст : непосредственный. Кузнецов А.С. Теория вычислительных процессов : учебник / А. С. Кузнецов, Р. Ю. Царев, А. Н. Князьков, 2015. - 183 с. - Текст : непосредственный. Лазарева И.М. Теория вычислительных процессов : учеб. пособие / И. М. Лазарева, 2013. - 78 с. - Текст : непосредственный. Рабинович Е.В. Теория вычислительных процессов : Учеб. пособие / Е.В.Рабинович, 2004. - 119 с. - Текст : непосредственный. Веретельникова, Е. Л. Теория вычислительных процессов : учеб. пособие. Ч. 2 : Теория сетей Петри и моделирование систем, 2010. - 60 с. - Текст : непосредственный. Зайдуллин С.С. Теория вычислительных процессов : учеб. пособие / С.С. Зайдуллин, В.Н. Яхонтов, 2005. - 136 с. - Текст : непосредственный. Калайда В.Т. Теория вычислительных процессов : учеб. пособие / В. Т. Калайда, 2013. - 147 с. - Текст : непосредственный. Кузнецов, Александр Сергеевич. Теория вычислительных процессов : Учебник / Кузнецов А. С., 2015. - 184 с. - Текст : электронный. Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный. Сети.Рынок телекоммуникаций : Журн.по компьютерным сетям и телекоммуникационным технологиям. - Журнал выходит с 1989г. - Текст : непосредственный. Шиндялов С.А. Принятие решений в планировании и управлении корпоративными сетями интерактивными методами имитационного моделирования : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Шиндялов, 2001. - 11 c. - Текст : непосредственный. Абросимов М.Б. Минимальные расширения графов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Б. Абросимов, 2001. - 20 с. - Текст : непосредственный. Додонов А.Г. Введение в теорию живучести вычислительных систем / А. Г. Додонов, М. Г. Кузнецова, Е. С. Горбачик, 1990. - 181 c. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный. Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный. Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный. Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный. Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный. Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный. Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный. Ермаков А.А. Комплексное обеспечение надежности кластерных систем на основе математического моделирования / А. А. Ермаков, 2008. - 24 с. - Текст : непосредственный. Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный. Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный. Лашева М.И. Переключательные алгоритмы преобразования графов / М. И. Лашева, 2011. - 16 с. - Текст : непосредственный. Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный. Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный. 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. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Winkowski J. algebraic way of defining place/transition Petri nets and their behaviours / J. Winkowski, 1989. - 20 p. - Текст : непосредственный. Алгоритмы на сетях Петри / П. В. Желтов, В. П. Желтов, Л. В. Желтова, Н. А. Кузнецова, 2008. - 145 с. - Текст : непосредственный. Кокин А.Г. Сети Петри. Моделирование / А. Г. Кокин, 2005. - 93 с. - Текст : непосредственный. Boucherie R.J. A structural characterisation of product form stochastic Petri nets / R. J. Boucherie, M. Sereno, 1994. - 19 p. - Текст : непосредственный. Сидорова Н.С. Бисимуляционно-эквивалентные преобразования сетей Петри / Н. С. Сидорова, 1998. - 51 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Блинков Ю.В. Изучение информационных сетей и сетевых технологий на виртуальных машинах : выставочные материалы / Ю. В. Блинков, 2012. - 344 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Advances in Petri nets 1990 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - 515 p. - Текст : непосредственный. Advances in Petri Nets 1991 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - VII,572 p. p. - Текст : непосредственный. Winkowski J. algebraic way of defining place/transition Petri nets and their behaviours / J. Winkowski, 1989. - 20 p. - Текст : непосредственный. Алгоритмы на сетях Петри / П. В. Желтов, В. П. Желтов, Л. В. Желтова, Н. А. Кузнецова, 2008. - 145 с. - Текст : непосредственный. Кокин А.Г. Сети Петри. Моделирование / А. Г. Кокин, 2005. - 93 с. - Текст : непосредственный. Нгуен Нгок Тхуан.Развитие методов анализа сетей Петри для распределенных систем : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук / Нгуен Нгок Тхуан, 1997. - 22 с. - Текст : непосредственный. Малашенко Ю.Е. Многокритериальная модель анализа проектов развития гетерогенной вычислительной системы / Ю. Е. Малашенко, И. А. Назарова, 2015. - 41 с. - Текст : непосредственный. Applications and theory of petri nets 2005 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Boucherie R.J. A structural characterisation of product form stochastic Petri nets / R. J. Boucherie, M. Sereno, 1994. - 19 p. - Текст : непосредственный. Сидорова Н.С. Бисимуляционно-эквивалентные преобразования сетей Петри / Н. С. Сидорова, 1998. - 51 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽