Приложение
для AndroidПолное описание
Schmidt, G. Relations and graphs : discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein. - Berlin [etc.] : Springer , 1993. - VIII,301 p. p. : ill. - (EATCS monographs on theoretical computer science). - ISBN 3-540-56254-0. - Текст : непосредственный.
Библиогр.в конце глав.Указ.:с.291-292,295-301
| ГРНТИ | УДК | |
| 27.17.21 | 512.563 | |
| 27.45.17 | 519.17 |
Рубрики:
Алгебра логики
Графов теория
Доп. точки доступа:
Strohlein, T.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/25790)
Шифр в сводном ЭК: 357f88c778292381dcf4a1abb7c2561c
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Ehrig H. Fundamentals of algebraic specification. Vol. 2 : Module specifications and constraints, 1990. - XI,427 p. p. - Текст : непосредственный.Balcazar J.L. Structural complexity. Pt. 2, 1990. - IX,283 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Janicki R. Specification and analysis of concurrent systems : The COSY approach / R.Janicki,P.E.Lauer, 1992. - 480 p. - Текст : непосредственный.Sippu S. Parsing theory. Vol. 2 : LR(k) and LL(k) parsing, 1990. - 426 p. - Текст : непосредственный.Bloom S.L. Iteration theories : The equational logic of iterative processes / S.L.Bloom,Z.@wEsik, 1993. - XV,630 p. 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. - Текст : электронный.Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 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 с. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 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. - Текст : непосредственный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 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 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 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. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Райгородский А.М. Модели случайных графов / А. М. Райгородский, 2016. - 139 с. - Текст : непосредственный.Войтеховский Ю.Л. Полный каталог 2-..7-вершинных графов / Ю. Л. Войтеховский, 1999. - 60 с. - Текст : непосредственный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 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. - Текст : электронный.Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 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 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽