Monographs in Theoretical Computer Science. An EATCS Series – serie
Visar alla böcker i serien Monographs in Theoretical Computer Science. An EATCS Series. Handla med fri frakt och snabb leverans.
94 produkter
Domain Science and Engineering
A Foundation for Software Development
Inbunden, 2021
1917 kr
Lägg i varukorg
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 prescriptions, and software design …
Domain Science and Engineering
A Foundation for Software Development
Häftad, 2022
1917 kr
Lägg i varukorg
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 prescriptions, and software design …
Coping with Selfishness in Congestion Games
Analysis and Design via LP Duality
Av Vittorio Bilò, Cosimo Vinci
Inbunden, 2023
1862 kr
Lägg i varukorg
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 selfish players competing for a set …
Coping with Selfishness in Congestion Games
Analysis and Design via LP Duality
Av Vittorio Bilò, Cosimo Vinci
Häftad, 2024
1862 kr
Lägg i varukorg
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 selfish players competing for a set …
Words and Graphs
Inbunden, 2015
1095 kr
Lägg i varukorg
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 state of the art in this …
Words and Graphs
Häftad, 2016
1095 kr
Lägg i varukorg
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 state of the art in this …
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Inbunden, 2017
878 kr
Lägg i varukorg
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 distributed systems. The book …
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Häftad, 2018
878 kr
Lägg i varukorg
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 distributed systems. The book …
Confluent String Rewriting
Inbunden, 1988
568 kr
Lägg i varukorg
Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput ation. Replacement systems for …
Parsing Theory
Volume I Languages and Parsing
Av Seppo Sippu, Eljas Soisalon-Soininen
Inbunden, 1988
568 kr
Lägg i varukorg
The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming languages created a need for a general and theoretically dean methodology for writing compilers for these languages. It was perceived that the …
Algorithms in Combinatorial Geometry
Inbunden, 1987
1095 kr
Lägg i varukorg
Computational geometry as an area of research in its own right emerged in the early seventies of this century. Right from the beginning, it was obvious that strong connections of various kinds exist to questions studied in the considerably older field of combinatorial geometry. For example, the …
Fundamentals of Algebraic Graph Transformation
Av Hartmut Ehrig, Karsten Ehrig m. fl.
Inbunden, 2006
1352 kr
Lägg i varukorg
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 textbook treatment of the …
Theoretical Aspects of Local Search
Av Wil Michiels, Emile Aarts m. fl.
Inbunden, 2006
1095 kr
Lägg i varukorg
Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic conceptual foundation, its general applicability, and its power to serve as a source for new search paradigms. The typical characteristics of combinatorial optimization …
Semantic Integration of Heterogeneous Software Specifications
Inbunden, 2003
1688 kr
Lägg i varukorg
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 establish the correspondences of the models and …
Duration Calculus
A Formal Approach to Real-Time Systems
Av Chaochen Zhou, Michael R. Hansen
Inbunden, 2003
1131 kr
Lägg i varukorg
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 reasoning about requirements and designs at an …
Incomplete Information: Structure, Inference, Complexity
Av Stephane P. Demri, Ewa Orlowska
Inbunden, 2002
1688 kr
Lägg i varukorg
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 processes in relation to the study of …
Theory of Semi-Feasible Algorithms
Av Lane A. Hemaspaandra, Leen Torenvliet
Inbunden, 2002
1128 kr
Lägg i varukorg
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 of research-the theory of semi-feasible …
Process Algebra with Timing
Av J.C.M. Baeten, C.A. Middelburg
Inbunden, 2002
568 kr
Lägg i varukorg
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 dependent on complex computer based systems that …
Compiler Generators
What They Can Do, What They Might Do, and What They Will Probably Never Do
Av Mads Tofte
Inbunden, 1990
1128 kr
Lägg i varukorg
The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately …
Parsing Theory
Volume II LR(k) and LL(k) Parsing
Av Seppo Sippu, Eljas Soisalon-Soininen
Inbunden, 1990
568 kr
Lägg i varukorg
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" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing. Volume II (Chapters 6 to 10) contains …
Fundamentals of Algebraic Specification 2
Module Specifications and Constraints
Inbunden, 1989
551 kr
Lägg i varukorg
Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. …
First-Order Programming Theories
Inbunden, 1991
1128 kr
Lägg i varukorg
This book proposes a purely classical first-order logical approach to the theory of programming. The authors, leading members of the famous "Hungarian school", use this approach to give a unified and systematic presentation of the theory. This approach provides formal methods and tools for …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Av Kurt Jensen
Inbunden, 1994
1128 kr
Lägg i varukorg
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 1
Av Kurt Jensen
Inbunden, 1996
1576 kr
Lägg i varukorg
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 the design, specification, simulation, validation …
Restricted-Orientation Convexity
Inbunden, 2003
551 kr
Lägg i varukorg
Restricted-orientation convexity is the study of geometric objects whose intersections with lines from some fixed set are connected. This notion generalizes standard convexity and several types of nontraditional convexity. We explore the properties of this generalized convexity in multidimensional …
Petri Net Algebra
Av Eike Best, Raymond Devillers m. fl.
Inbunden, 2001
1639 kr
Lägg i varukorg
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 computer technologies available to potential users …
Logics of Specification Languages
Av Dines Bjørner, Martin C. Henson
Inbunden, 2007
1688 kr
Lägg i varukorg
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 specifications is done within the …
Unfoldings
A Partial-Order Approach to Model Checking
Av Javier Esparza, Keijo Heljanko
Inbunden, 2008
1131 kr
Lägg i varukorg
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of …
Handbook of Weighted Automata
Av Manfred Droste, Werner Kuich m. fl.
Inbunden, 2009
2510 kr
Lägg i varukorg
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount …
Stochastic Coalgebraic Logic
Inbunden, 2009
1095 kr
Lägg i varukorg
Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. …
