Приложение
для AndroidПолное описание
Schoenmakers, L. A.M. A new algorithm for the recognition of series parallel graphs / L.A.M.Schoenmakers. - Amsterdam : [s. n.], 1995. - 14 p. : ill. - (Report:Computer science / CWI ; CS-R9504). - Текст : непосредственный.
Библиогр.:с.14
| ГРНТИ | УДК | |
| 27.45.17 | 519.17 |
Рубрики:
Графов теория
Кл.слова (ненормированные): ТЕОРИЯ ГРАФОВ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9504)
Шифр в сводном ЭК: d1e5b3590a5a6c756a29b16508471fe9
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Cramer R.J.F. Proofs of partial knowledge and simplified design of witness hiding protocols / R. J.F. Cramer, I. B. Damgard, L. A.M. Schoenmakers, 1994. - 18 p. - Текст : непосредственный.
Schoenmakers L.A.M. A new algorithm for the recognition of series parallel graphs / L.A.M.Schoenmakers, 1995. - 14 p. - Текст : непосредственный.Schoenmakers L.A.M. An efficient electronic payment system withstanding parallel attacks / L.A.M.Schoenmakers, 1995. - 14 p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный.Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный.Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Абросимов М.Б. Минимальные расширения графов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Б. Абросимов, 2001. - 20 с. - Текст : непосредственный.Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный.Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный.Лашева М.И. Переключательные алгоритмы преобразования графов / М. И. Лашева, 2011. - 16 с. - Текст : непосредственный.Hora A. Quantum probability and spectral analysis of graphs / A. Hora, N. Obata, 2007 r=on-line. - Текст : электронный.Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Бабенко, 2007. - 13 с. - Текст : непосредственный.Калмыков Г.И. Каркасная классификация помеченных графов / Г. И. Калмыков, 2006. - 240 с. - Текст : непосредственный.Нирова М.С. Конечные геометрии, графы, их расширения и автоморфизмы / М. С. Нирова, 2014. - 22 с. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 p. - Текст : непосредственный.Rozenblat A. Solving of determinants with functional graphs / A. Rozenblat, 2015. - 549 p. - Текст : непосредственный.Барыкин М.П. Элементы теории графов и некоторые их приложения / М. П. Барыкин, Т. Л. Борзунова, 2003. - 55 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Graph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-lineАлексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D. G. Corneil, S. Olariu, L. Stewart, 1995. - 21 p. - Текст : непосредственный.Лекции по теории графов / В. А. Емеличев, О. И. Мельников, В. И. Сарванов, Р. И. Тышкевич, 1990. - 383 с. - Текст : непосредственный.Mordeson J.N. Fuzzy graphs and fuzzy hypergraphs / J. N. Mordeson, P. S. Nair, 2000. - XIII, 248 p. 248 p. - Текст : непосредственный.Максименков А.В. Учебное пособие к лекциям и к курсовой работе по курсу "Математические модели информационных процессов". Алгоритмы решения задач покрытия графа / А. В. Максименков, 1991. - 56 с. - Текст : непосредственный.Серебряков А.В. Введение в теорию графов / А. В. Серебряков, 2001. - 37 с. - Текст : непосредственный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный.Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный.Калмыков Г.И. Каркасная классификация помеченных графов / Г. И. Калмыков, 2006. - 240 с. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 p. - Текст : непосредственный.Rozenblat A. Solving of determinants with functional graphs / A. Rozenblat, 2015. - 549 p. - Текст : непосредственный.Барыкин М.П. Элементы теории графов и некоторые их приложения / М. П. Барыкин, Т. Л. Борзунова, 2003. - 55 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D. G. Corneil, S. Olariu, L. Stewart, 1995. - 21 p. - Текст : непосредственный.Лекции по теории графов / В. А. Емеличев, О. И. Мельников, В. И. Сарванов, Р. И. Тышкевич, 1990. - 383 с. - Текст : непосредственный.Mordeson J.N. Fuzzy graphs and fuzzy hypergraphs / J. N. Mordeson, P. S. Nair, 2000. - XIII, 248 p. 248 p. - Текст : непосредственный.Серебряков А.В. Введение в теорию графов / А. В. Серебряков, 2001. - 37 с. - Текст : непосредственный.Harmer M. relation between the spectrum of the Laplacean and the geometry of a compact graph / M. Harmer, 2000. - 6 p. - Текст : непосредственный.Sewing ribbons on graphs in space / D. Archdeacon, P. Bonnington, B. Richter, J. Siran, 2000. - 21 p. - Текст : непосредственный.Laurent M. Delaunay transformations of a Delaunay polytope / M. Laurent, 1994. - 12 p. - Текст : непосредственный.Райгородский А.М. Модели случайных графов / А. М. Райгородский, 2016. - 139 с. - Текст : непосредственный.Войтеховский Ю.Л. Полный каталог 2-..7-вершинных графов / Ю. Л. Войтеховский, 1999. - 60 с. - Текст : непосредственный.Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный.Болотский А.В. Исследование операций и теория графов : выставочные материалы / А. В. Болотский, 2014. - 119 с. - Текст : непосредственный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Абросимов М.Б. Минимальные расширения графов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Б. Абросимов, 2001. - 20 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный.Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный.Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный.Лашева М.И. Переключательные алгоритмы преобразования графов / М. И. Лашева, 2011. - 16 с. - Текст : непосредственный.Hora A. Quantum probability and spectral analysis of graphs / A. Hora, N. Obata, 2007 r=on-line. - Текст : электронный.Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Бабенко, 2007. - 13 с. - Текст : непосредственный.Калмыков Г.И. Каркасная классификация помеченных графов / Г. И. Калмыков, 2006. - 240 с. - Текст : непосредственный.Нирова М.С. Конечные геометрии, графы, их расширения и автоморфизмы / М. С. Нирова, 2014. - 22 с. - Текст : непосредственный.Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 p. - Текст : непосредственный.Rozenblat A. Solving of determinants with functional graphs / A. Rozenblat, 2015. - 549 p. - Текст : непосредственный.Барыкин М.П. Элементы теории графов и некоторые их приложения / М. П. Барыкин, Т. Л. Борзунова, 2003. - 55 с. - Текст : непосредственный.Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Graph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-lineАлексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D. G. Corneil, S. Olariu, L. Stewart, 1995. - 21 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽