Tous les livres numériques de la collection "Monographs in Theoretical Computer Science. An EATCS Series" - Springer

8 Livre(s)
Télécharger le livre : Theory of Reversible Computing
Theory of Reversible Computing
Kenichi Morita
This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of...

Editeur : Springer
Parution : 2017-11-06
Collection : Monographs in Theoretical Computer Science. An EATCS Series PDF

179,34 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Process Algebras for Petri Nets
Process Algebras for Petri Nets
Roberto Gorrieri
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of...

Editeur : Springer
Parution : 2017-04-13
Collection : Monographs in Theoretical Computer Science. An EATCS Series PDF

84,39 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Graph and Model Transformation
Graph and Model Transformation
Hartmut Ehrig , Claudia Ermel , Ulrike Golas , Frank Hermann
This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part...

Editeur : Springer
Parution : 2015-12-21
Collection : Monographs in Theoretical Computer Science. An EATCS Series PDF

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Words and Graphs
Words and Graphs
Sergey Kitaev , Vadim Lozin
This is the first comprehensive introduction to the theory of word-representable graphs, a generalization of several classical classes of graphs, and a new topic in discrete mathematics.After extensive introductory chapters that explain the context and consolidate the...

Editeur : Springer
Parution : 2015-11-18
Collection : Monographs in Theoretical Computer Science. An EATCS Series PDF

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Fault-Tolerant Search Algorithms
Fault-Tolerant Search Algorithms
Ferdinando Cicalese
Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context of search find application in the most diverse areas of computer...

Editeur : Springer
Parution : 2013-11-29
Collection : Monographs in Theoretical Computer Science. An EATCS Series ePub

52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Deterministic Extraction from Weak Random Sources
Deterministic Extraction from Weak Random Sources
Ariel Gabizon
A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research monograph the author constructs deterministic extractors for several types of sources.A basic theme in this work is a methodology of recycling...

Editeur : Springer
Parution : 2010-10-07
Collection : Monographs in Theoretical Computer Science. An EATCS Series ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logics of Specification Languages
Logics of Specification Languages
Dines Bjørner , Martin C. Henson
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these...

Editeur : Springer
Parution : 2007-12-05
Collection : Monographs in Theoretical Computer Science. An EATCS Series PDF

147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig , Karsten Ehrig , Ulrike Prange , Gabriele Taentzer
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first...

Editeur : Springer
Parution : 2006-05-01
Collection : Monographs in Theoretical Computer Science. An EATCS Series PDF

116,04 €
Téléchargement immédiat
Dès validation de votre commande