Petri Net Algebra

Eike Best, Raymond Devillers, Maciej Koutny

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w... Lees meer

Words and Graphs

Sergey Kitaev, Vadim Lozin

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This is the first comprehensive introduction to the theory of word-representable graphs, a generalization of several classical classes of graphs, and ... Lees meer

Parsing Theory

Seppo Sippu, Eljas Soisalon-Soininen

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs | nr. 20
• This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (C... Lees meer

Modeling Time in Computing

Carlo A Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in comp... Lees meer

Coloured Petri Nets

Kurt Jensen

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• The contents of this volume are application oriented. The volume contains a de- tailed presentation of 19 applications of CP-nets, covering a broad ra... Lees meer

Petri Net Algebra

Eike Best, Raymond Devillers, Maciej Koutny

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w... Lees meer

Graph and Model Transformation

Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applicati... Lees meer

Process Algebras for Petri Nets

Roberto Gorrieri

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted... Lees meer

The Logic of Partial Information

Areski Nait Abdallah

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• One must be able to say at all times - in- stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mat... Lees meer

Theoretical Aspects of Local Search

Wil Michiels, Emile Aarts, Jan Korst

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic conceptual foundation, its... Lees meer

Handbook of Weighted Automata

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic... Lees meer

Coping with Selfishness in Congestion Games

Vittorio Bilò, Cosimo Vinci

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• ​Congestion games are a fundamental class of games widely considered and studied in non-cooperative game theory, introduced to model several realistic... Lees meer

Coping with Selfishness in Congestion Games

Vittorio Bilò, Cosimo Vinci

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• ​Congestion games are a fundamental class of games widely considered and studied in non-cooperative game theory, introduced to model several realistic... Lees meer

Fundamentals of Algebraic Graph Transformation

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• to Graph Transformation Systems.- General Introduction.- Graphs, Typed Graphs, and the Gluing Construction.- Graph Transformation Systems.- Adhesive H... Lees meer

Models and Algorithms of Time-Dependent Scheduling

Stanislaw Gawiejnowicz

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This is a comprehensive study of various time-dependent scheduling problems in single-, parallel- and dedicated-machine environments. In addition to c... Lees meer

Fault-Tolerant Search Algorithms

Ferdinando Cicalese

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combi... Lees meer

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a gen... Lees meer

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, con... Lees meer

Syntax-Directed Semantics

Zoltan Fülöp, Heiko Vogler

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• The subject of this book is the investigation of tree transducers. Tree trans- ducers were introduced in theoretical computer science in order to stud... Lees meer

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, con... Lees meer

Domain Science and Engineering

Dines Bjørner

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for com... Lees meer

Modeling Time in Computing

Carlo A Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in comp... Lees meer

Deterministic Extraction from Weak Random Sources

Ariel Gabizon

• Paperback | Engels | Monographs in Theoretical Computer Science. an Eatcs
• A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research monograph the author cons... Lees meer

Models and Algorithms of Time-Dependent Scheduling

Stanislaw Gawiejnowicz

• Hardcover | Engels | Monographs in Theoretical Computer Science. an Eatcs
• This is a comprehensive study of various time-dependent scheduling problems in single-, parallel- and dedicated-machine environments. In addition to c... Lees meer