Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Roberto Gorrieri
Out of stock
Format: Book (Paperback / softback)
Information and Randomness : An Algorithmic Perspective
Cristian Calude
Download - Immediately Available
Format: eBook (PDF)
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use. Volume 1
Kurt Jensen
Download - Immediately Available
Format: eBook (PDF)
Incomplete Information: Structure, Inference, Complexity
Stephane P. Demri
Download - Immediately Available
Format: eBook (PDF)
Theory of Semi-Feasible Algorithms
Lane A. Hemaspaandra
Download - Immediately Available
Format: eBook (PDF)
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use, Volume 1
Kurt Jensen
Download - Immediately Available
Format: eBook (PDF)
Duration Calculus : A Formal Approach to Real-Time Systems
Chaochen Zhou
Download - Immediately Available
Format: eBook (PDF)
Parsing Theory : Volume II LR(k) and LL(k) Parsing
Seppo Sippu
Download - Immediately Available
Format: eBook (PDF)
Semantic Integration of Heterogeneous Software Specifications
Martin Groe-Rhode
Download - Immediately Available
Format: eBook (PDF)
Graph and Model Transformation : General Framework and Applications
Hartmut Ehrig
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Graph and Model Transformation : General Framework and Applications
Hartmut Ehrig
Download - Immediately Available
Format: eBook (PDF)
Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information
Ferdinando Cicalese
Item not Available
Format: Book (Paperback / softback)
£83.50
£82.95
Item not Available
Book (Paperback / softback)
Graph and Model Transformation : General Framework and Applications
Hartmut Ehrig
Out of stock
Format: Book (Paperback / softback)
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Out of stock
Format: Book (Hardback)
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Download - Immediately Available
Format: eBook (PDF)
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Out of stock
Format: Book (Paperback / softback)
Domain Science and Engineering : A Foundation for Software Development
Dines Bjorner
Out of stock
Format: Book (Hardback)
Domain Science and Engineering : A Foundation for Software Development
Dines Bjorner
Download - Immediately Available
Format: eBook (PDF)