Fundamentals of Algebraic Specification 1
Hartmut Ehrig and 1 more
Paperback
Not Available
Nonsequential Processes
Eike Best and 1 more
Parsing Theory
Seppo Sippu and 1 more
Hardback
Computing in Horn Clause Theories
Peter Padawitz
Fundamentals of Algebraic Specification 2
Compiler Generators
Mads Tofte
First-Order Programming Theories
Tamas Gergely and 1 more
Coloured Petri Nets
Kurt Jensen
Petri Net Algebra
Eike Best and 2 more
Process Algebra With Timing
JCM Baeten and 1 more
Theory of Semi-Feasible Algorithms
L Hemaspaandra and 2 more
Semantic Integration of Heterogeneous Software Specifications
Martin GroßeRhode
Theoretical Aspects of Local Search
Wil Michiels and 2 more
Logics of Specification Languages
Dines Bjørner and 1 more
Unfoldings
Javier Esparza and 1 more
Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Handbook of Weighted Automata
Manfred Droste and 2 more
Stochastic Coalgebraic Logic
ErnstErich Doberkat
Deterministic Extraction from Weak Random Sources
Ariel Gabizon
Incomplete Information
Stephane P Demri and 1 more
Theoretical Aspects of Distributed Computing in Sensor Networks
Sotiris Nikoletseas and 1 more
Finiteness and Regularity in Semigroups and Formal Languages
Aldo de Luca and 1 more
Products of Automata
Ferenc Gecseg
Petri Nets
Wolfgang Reisig
Semirings, Automata, Languages
W Kuich and 1 more
Computability
Klaus Weihrauch
Syntax-Directed Semantics
Zoltan Fülöp and 1 more
Regulated Rewriting in Formal Language Theory
Jürgen Dassow and 1 more
Structural Complexity II
Jose L Balcazar and 2 more
Iteration Theories
Stephen L Bloom and 1 more
Specification and Analysis of Concurrent Systems
Ryszard Janicki and 1 more
The Logic of Partial Information
Areski Nait Abdallah
Relations and Graphs
Gunther Schmidt and 1 more
Universal Algebra for Computer Scientists
Wolfgang Wechler
Restricted-Orientation Convexity
Eugene Fink and 1 more
Patterns in Permutations and Words
Sergey Kitaev
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella and 1 more
Words and Graphs
Sergey Kitaev and 1 more
Theory of Reversible Computing
Kenichi Morita
Domain Science and Engineering
Dines Bjørner
