Graph Transformation, Andrea Corradini; Hartmut Ehrig; Hans-J?rg Kreowsk

Автор: Godsil Chris, Royle Gordon F.
Название: Algebraic Graph Theory
ISBN: 0387952411 ISBN-13(EAN): 9780387952413
Издательство: Springer
Рейтинг:
Цена: 11313.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Algebraic graph theory is a combination of two strands. The first is the study of algebraic objects associated with graphs. The second is the use of tools from algebra to derive properties of graphs. This work illustrates the main tools and ideas of algebraic graph theory.

Автор: Karim Adiprasito; Imre B?r?ny; Costin Vilcu
Название: Convexity and Discrete Geometry Including Graph Theory
ISBN: 3319281844 ISBN-13(EAN): 9783319281841
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents easy-to-understand yet surprising properties obtained using topological, geometric and graph theoretic tools in the areas covered by the Geometry Conference that took place in Mulhouse, France from September 7-11, 2014 in honour of Tudor Zamfirescu on the occasion of his 70th anniversary.

Автор: Dieter Kratsch; Ioan Todinca
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3319123394 ISBN-13(EAN): 9783319123394
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover a wide range of topics in graph theory related to computer science, such as design and analysis of sequential, parallel, randomized, parameterized and distributed graph and network algorithms; graph grammars, graph rewriting systems and graph modeling;

Автор: Holger Giese; Barbara K?nig
Название: Graph Transformation
ISBN: 3319091077 ISBN-13(EAN): 9783319091075
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions.

Автор: Manuel V Hermenegildo; Pedro Lopez-Garcia
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319631381 ISBN-13(EAN): 9783319631387
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Partial Evaluation of Order-sorted Equational Programs modulo Axioms.- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.- Verification of Time-Aware Business Processes using Constrained Horn Clauses.- MiniZinc with Strings.- Slicing Concurrent Constraint Programs.- A New Functional-Logic Compiler for Curry: Sprite.- lpopt: A Rule Optimization Tool for Answer Set Programming.- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.- A Productivity Checker for Logic Programming.- Symbolic Abstract Contract Synthesis in a Rewriting Framework.- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs.- CurryCheck: Checking Properties of Curry Programs.- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.- A Reversible Semantics for Erlang.- Scaling Bounded Model Checking By Transforming Programs With Arrays.- Coinductive Soundness of Corecursive Type Class Resolution.- Nominal Unification of Higher Order Expressions with Recursive Let.- Automata Theory Approach to Predicate Intuitionistic Logic.

Название: Basic graph theory.
ISBN: 3319494740 ISBN-13(EAN): 9783319494746
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This undergraduate textbook provides an introduction to graph theory, which has numerous applications in modeling problems in science and technology, and has become a vital component to computer science, computer science and engineering, and mathematics curricula of universities all over the world. The author follows a methodical and easy to understand approach. Beginning with the historical background, motivation and applications of graph theory, the author first explains basic graph theoretic terminologies.

From this firm foundation, the author goes on to present paths, cycles, connectivity, trees, matchings, coverings, planar graphs, graph coloring and digraphs as well as some special classes of graphs together with some research topics for advanced study. Filled with exercises and illustrations, Basic Graph Theory is a valuable resource for any undergraduate student to understand and gain confidence in graph theory and its applications to scientific research, algorithms and problem solving.

Автор: Kaspar Riesen
Название: Structural Pattern Recognition with Graph Edit Distance
ISBN: 3319272519 ISBN-13(EAN): 9783319272511
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This unique text/reference presents a thorough introduction to the field of structural pattern recognition, with a particular focus on graph edit distance (GED). illustrates how the quadratic assignment problem of GED can be reduced to a linear sum assignment problem;

Автор: David F. Gleich; J?lia Komj?thy; Nelly Litvak
Название: Algorithms and Models for the Web Graph
ISBN: 3319267833 ISBN-13(EAN): 9783319267838
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutesthe proceedings of the 12th International Workshop on Algorithms and Models forthe Web Graph, WAW 2015, held in Eindhoven, The Netherlands, in December 2015. They are organized in topical sections named: properties of largegraph models, dynamic processes on large graphs, and properties of PageRank onlarge graphs.

Автор: Juan de Lara; Detlef Plump
Название: Graph Transformation
ISBN: 331961469X ISBN-13(EAN): 9783319614694
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions.

Автор: Francesco Parisi-Presicce; Bernhard Westfechtel
Название: Graph Transformation
ISBN: 3319211447 ISBN-13(EAN): 9783319211442
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L`Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. applications: technical papers, and tool presentations.

Автор: Echahed
Название: Graph Transformation
ISBN: 3319405292 ISBN-13(EAN): 9783319405292
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016.

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security.