Graph-Theoretic Concepts in Computer Science, Dieter Kratsch; Ioan Todinca

Автор: Andreas Brandst?dt; Klaus Jansen; R?diger Reischuk
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3642450423 ISBN-13(EAN): 9783642450426
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 39th International Workshop on Graph Theoretic Concepts in Computer Science, WG 2013, held in Lubeck, Germany, in June 2013. graph grammars, graph rewriting systems and graph modeling;

Автор: Christophe Paul; Michel Habib
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3642114083 ISBN-13(EAN): 9783642114083
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier (France), June 24-26 2009. About 80 computer scientists from all over the world (Australia, Belgium, Canada, China, Czech Republic, France, Germany, Greece, Israel, Japan, Korea, The Netherlands, Norway, Spain, UK, USA) attended the conference. Since1975, ithastakenplace20timesinGermany, fourtimesinTheNeth- lands, twice in Austria, as well as once in Italy, Slovakia, Switzerland, the Czech Republic, France, Norway, and the UK. The conference aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from appli- tions. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists. There were 69 submissions. Each submission was reviewed by at least three, and on average four, Program Committee members. The Committee decided to accept 28 papers. Due to the competition and the limited schedule, some good papers could not be accepted. Theprogramalsoincludedexcellentinvitedtalks: onegivenbyDanielKr lon "AlgorithmsforClassesofGraphswithBoundedExpansion," the otherbyDavid Eppsteinon"Graph-TheoreticSolutionstoComputationalGeometryProblems." The proceedings contains two survey papers on these topics.

Автор: Heggernes
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3662535351 ISBN-13(EAN): 9783662535356
Издательство: Springer
Рейтинг:
Цена: 54040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 42nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2016, held in Istanbul, Turkey, in June 2016. The 25 papers presented in this volume were carefully reviewed and selected from 74 submissions.The WG conferences aim to connect theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas of computer science and by extracting new graph problems from applications. Their goal is to present new research results and to identify and explore directions of future research.

Автор: Mayr
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3662531739 ISBN-13(EAN): 9783662531730
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015, held in Garching, Germany, in June 2015. The 32 papers presented in this volume were carefully reviewed and selected from 79 submissions. structural graph theory; graph drawing;

Автор: Hans L. Bodlaender; Gerhard J. Woeginger
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3319687042 ISBN-13(EAN): 9783319687049
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017, held in Eindhoven, The Netherlands, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 71 submissions.

Автор: Ulrik Brandes; Dorothea Wagner
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540411836 ISBN-13(EAN): 9783540411833
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These papers provide results for various classes of graphs, graph computations, graph algorithms and graph-theoretical applications in various fields.

Автор: Yvo Desmedt
Название: Information Theoretic Security
ISBN: 3642102298 ISBN-13(EAN): 9783642102295
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Information Theoretic Security, ICITS 2007, held in Madrid, Spain, in May 2007. There were one invited keynote speech and 3 invited talks to the conference.

Автор: Eisner Tanja
Название: Operator Theoretic Aspects of Ergodic Theory
ISBN: 3319168975 ISBN-13(EAN): 9783319168975
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stunning recent results by Host-Kra, Green-Tao, and others, highlight the timeliness of this systematic introduction to classical ergodic theory using the tools of operator theory. Assuming no prior exposure to ergodic theory, this book provides a modern foundation for introductory courses on ergodic theory, especially for students or researchers with an interest in functional analysis. While basic analytic notions and results are reviewed in several appendices, more advanced operator theoretic topics are developed in detail, even beyond their immediate connection with ergodic theory. As a consequence, the book is also suitable for advanced or special-topic courses on functional analysis with applications to ergodic theory.
Topics include:
- an intuitive introduction to ergodic theory
- an introduction to the basic notions, constructions, and standard examples of topological dynamical systems
- Koopman operators, Banach lattices, lattice and algebra homomorphisms, and the Gelfand-Naimark theorem
- measure-preserving dynamical systems
- von Neumann's Mean Ergodic Theorem and Birkhoff's Pointwise Ergodic Theorem
- strongly and weakly mixing systems
- an examination of notions of isomorphism for measure-preserving systems
- Markov operators, and the related concept of a factor of a measure preserving system
- compact groups and semigroups, and a powerful tool in their study, the Jacobs-de Leeuw-Glicksberg decomposition
- an introduction to the spectral theory of dynamical systems, the theorems of Furstenberg and Weiss on multiple recurrence, and applications of dynamical systems to combinatorics (theorems of van der Waerden, Gallai, and Hindman, Furstenberg's Correspondence Principle, theorems of Roth and Furstenberg-S rk zy)
Beyond its use in the classroom, Operator Theoretic Aspects of Ergodic Theory can serve as a valuable foundation for doing research at the intersection of ergodic theory and operator theory

Автор: Skrzypczak
Название: Descriptive Set Theoretic Methods in Automata Theory
ISBN: 3662529467 ISBN-13(EAN): 9783662529461
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.'…the thesis of Micha? Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.

Автор: Andreas Brandst?dt; Van Bang Le
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540427074 ISBN-13(EAN): 9783540427070
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text of the refereed post-workshop proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, provides a wealth of contemporary results for various classes of graphs, graph computations, graph algorithms and graph-theoretical applications in various fields.

Автор: Kurshan Robert P.
Название: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
ISBN: 0691606056 ISBN-13(EAN): 9780691606057
Издательство: Wiley
Рейтинг:
Цена: 54910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Автор: C. M. Hoffmann
Название: Group-Theoretic Algorithms and Graph Isomorphism
ISBN: 3540114939 ISBN-13(EAN): 9783540114932
Издательство: Springer
Рейтинг:
Цена: 21420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.