Приложение
для AndroidПолное описание
Fundamentals of algebraic graph transformation / H. Ehrig [et al.] ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer-Verlag, 2006. - on-line. - (Monographs in theoretical computer science. an eatcs series, ISSN 1431-2654). - URL: http://dx.doi.org/10.1007/3-540-31188-2. - ISBN 978-3-540-31188-1. - ISBN 3-540-31188-2. - Текст : электронный.
| ГРНТИ | УДК | |
| 27.45.17 | 519.17 |
Рубрики:
Графов теория -- Применение
Доп. точки доступа:
Ehrig, H.
Ehrig, K.
Prange, U.
Taentzer, G.
SpringerLink (Online service)
http://dx.doi.org/10.1007/3-540-31188-2
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 519.17/F97-056677)
Шифр в сводном ЭК: c8017aea1eed95bd8aa41de28ddf9539
Ehrig H. Fundamentals of algebraic specification. Vol. 2 : Module specifications and constraints, 1990. - XI,427 p. p. - Текст : непосредственный.Graph grammars and their application to computer science : материалы временных коллективов / Ed.: H. Ehrig, R. P. Kurshan, 1991. - X,7703 p. p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 7562 : Graph transformations : 6th intern. conf., ICGT 2012, Bremen, Germany, Sept. 24-29, 2012: proc. / International conference on graph transformation (6; 2012; Bremen), 2012. - XI, 427 p. - Текст : непосредственный.
Graph transformations : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27–October 2, 2010: proceedings / ed. H. Ehrig, 2010 r=on-line. - Текст : электронный.Categorical methods in computer science: with aspects from topology : Intern.workshop on categorical methods in computer scienceSept. 1988, Berlin / Ed. H. Ehrig, 1989. - VI,350 p. p. - Текст : непосредственный.Graph transformations : 4th International conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008: proceedings / ed. H. Ehrig, 2008 r=on-line. - Текст : электронный.Theory and application of graph transformations : 6th Intern. workshop, TAGT'98,Paderborn, Germany, Nov.16-20, 1998Selected papers / TAGT'98, 2000. - IX,490 p. p. - Текст : непосредственный.Recent trends in data type specification : Proc.of the 7th workshop on specification of abstract data types, Apr. 17-20,1990, Wusterhausen/Dosse / Ed. H. Ehrig, 1991. - VIII,379 p. p. - Текст : непосредственный.Fundamentals of algebraic graph transformation / H. Ehrig [et al.], 2006 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Theoretical Aspects of Distributed Computing in Sensor Networks : учебник / edited by Sotiris Nikoletseas, José D.P. Rolim., 2011 r=on-line. - Текст : электронный.Kitaev S. Patterns in Permutations and Words : монография / by Sergey Kitaev., 2011 r=on-line (Введено оглавление). - Текст : электронный.Handbook of weighted automata / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Doberkat E. Stochastic coalgebraic logic / E. Doberkat, 2009 r=on-line. - Текст : электронный.Fundamentals of algebraic graph transformation / H. Ehrig [et al.], 2006 r=on-line. - Текст : электронный.
Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный.Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный.Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.
Показать все результатыБасакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 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 с. - Текст : непосредственный.Абросимов М.Б. Минимальные расширения графов : специальность 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. - Текст : непосредственный.
Показать все результатыПросмотр издания