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
We use cookies to give you the best online experience. Please let us know if you agree to all of these cookies. To learn more view privacy and cookies policy.
