Sökt på: Serie monographs in theoretical computer science. an eatcs series
totalt 86 träffar
Semantic Integration of Heterogeneous Software Specifications
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 …
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 …
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. …
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 …
Unfoldings
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 …
Parsing Theory
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 …
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 …
Data Structures and Algorithms 1
The design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm" is central in computer science, …
First-Order Programming Theories
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or …
Process Algebra with Timing
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 …
Data Structures and Algorithms 3
First-Order Programming Theories
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or …