Tous les ebooks de la collection "Monographs in Theoretical Computer Science. An EATCS Series" - Springer

11 Livre(s)
Télécharger le livre : Coping with Selfishness in Congestion Games
Ajouter à ma liste d'envies
Coping with Selfishness in Congestion Games
Vittorio Bilò , Cosimo Vinci
?Congestion games are a fundamental class of games widely considered and studied in non-cooperative game theory, introduced to model several realistic scenarios in which people share a limited quantity of goods or services. In congestion games there are several...

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

180,19 €
Télécharger le livre : Domain Science and Engineering
Ajouter à ma liste d'envies
Domain Science and Engineering
Dines Bjørner
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements...

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

169,59 €
Télécharger le livre : Models and Algorithms of Time-Dependent Scheduling
Ajouter à ma liste d'envies
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
This is a comprehensive study of various time-dependent scheduling problems in single-, parallel- and dedicated-machine environments. In addition to complexity issues and exact or heuristic algorithms which are typically presented in scheduling books, the author also...

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

148,39 €
Télécharger le livre : Theory of Reversible Computing
Ajouter à ma liste d'envies
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

180,19 €
Télécharger le livre : Process Algebras for Petri Nets
Ajouter à ma liste d'envies
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,79 €
Télécharger le livre : Graph and Model Transformation
Ajouter à ma liste d'envies
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

95,39 €
Télécharger le livre : Words and Graphs
Ajouter à ma liste d'envies
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

95,39 €
Télécharger le livre : Fault-Tolerant Search Algorithms
Ajouter à ma liste d'envies
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,99 €
Télécharger le livre : Deterministic Extraction from Weak Random Sources
Ajouter à ma liste d'envies
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

95,39 €
Télécharger le livre : Logics of Specification Languages
Ajouter à ma liste d'envies
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

148,39 €
Télécharger le livre : Fundamentals of Algebraic Graph Transformation
Ajouter à ma liste d'envies
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,59 €