11 résultat(s)
Télécharger le livre : Coping with Selfishness in Congestion Games
Vittorio Bilò , Cosimo Vinci
Coping with Selfishness in Congestion Games
?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
Format(s) : PDF
179,34 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Domain Science and Engineering
Dines Bjørner
Domain Science and Engineering
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
Format(s) : PDF
168,79 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Models and Algorithms of Time-Dependent Scheduling
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
Format(s) : PDF
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Theory of Reversible Computing
Kenichi Morita
Theory of Reversible Computing
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
Format(s) : PDF
179,34 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Process Algebras for Petri Nets
Roberto Gorrieri
Process Algebras for Petri Nets
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
Format(s) : PDF
84,39 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Graph and Model Transformation
Hartmut Ehrig , Claudia Ermel , Ulrike Golas , Frank Hermann
Graph and Model Transformation
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
Format(s) : PDF
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Words and Graphs
Sergey Kitaev , Vadim Lozin
Words and Graphs
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
Format(s) : PDF
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Fault-Tolerant Search Algorithms
Ferdinando Cicalese
Fault-Tolerant Search Algorithms
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
Format(s) : 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
Ariel Gabizon
Deterministic Extraction from Weak Random Sources
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
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logics of Specification Languages
Dines Bjørner , Martin C. Henson
Logics of Specification Languages
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
Format(s) : PDF
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig , Karsten Ehrig , Ulrike Prange , Gabriele Taentzer
Fundamentals of Algebraic Graph Transformation
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
Format(s) : PDF
116,04 €
Téléchargement immédiat
Dès validation de votre commande