Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 10-May-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031302619)
?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 t...Loe edasi...
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, req...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 13-Jun-2020, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662593622)
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...Loe edasi...
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 "e;backward deterministic"e;...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 13-Apr-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319555591)
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...Loe edasi...
Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 21-Dec-2015, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662479803)
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...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 18-Nov-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319258591)
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 a...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 29-Nov-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642173271)
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 are...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Nov-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642696725)
The design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "e;algorithm"e; is central in computer science, and "e;efficiency"e; is central in the world of mon...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 18-Apr-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662049976)
The construction of any broadly understood theory of information or infor- mation processing system involves two major methodological processes: (1) abstraction and analysis, (2) reasoning and computing. This monograph is a realisation of these two p...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 17-Apr-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662032411)
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped - from being a promising theoretical model to being a full-fledged lan- guage for t...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 17-Apr-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662050804)
An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex- ity, and not all types are in harmony with each other. The primary goal of this book is to unify and make more widely accessible a vibrant stream o...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 17-Apr-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662084243)
This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "e;Languages and Parsing"e; (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 17-Apr-2013, PDF+DRM, Kirjastus: Springer Berlin Heidelberg, ISBN-13: 9783662062890)
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped - from being a promising theoretical model to being a full-fledged lan- guage for t...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 14-Mar-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662067840)
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally re...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Mar-2013, PDF+DRM, Kirjastus: Springer Berlin Heidelberg, ISBN-13: 9783662030493)
"e;Algorithmic information theory (AIT) is the result of putting Shannons information theory and Turings computability theory into a cocktail shaker and shaking vigorously"e;, says G.J. Chaitin, one of the fathers of this theory of complexi...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Mar-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662044575)
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of c...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Mar-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662049952)
This book is concerned with a number of theories that can be used for describ- ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dep...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Mar-2013, PDF+DRM, Kirjastus: Springer Berlin Heidelberg, ISBN-13: 9783662026274)
Cryptography, secret writing, is probably as old as writing itself. But only recently has it become the object of extensive scientific studies. Vast new applications to data security are one explanation for this. Perhaps a more important reason for t...Loe edasi...
Sari: Monographs in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 09-Mar-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662098530)
In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to...Loe edasi...
