Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Showing 1 - 24 (of 48)
Refine
Domain Science and Engineering : A Foundation for Software Development - Book

£139.99

Book (Hardback)

Add to Basket
Domain Science and Engineering : A Foundation for Software Development - Book

Domain Science and Engineering : A Foundation for Software Development

Dines Bjorner

Format: Book (Paperback / softback)

£149.99

£141.55

Book (Paperback / softback)

Add to Basket
Words and Graphs - Book

Words and Graphs

Sergey Kitaev

Format: Book (Hardback)

£99.99

£81.35

Book (Hardback)

Item not Available
Words and Graphs - Book

Words and Graphs

Sergey Kitaev

Format: Book (Paperback / softback)

£74.50

£61.59

Book (Paperback / softback)

Item not Available
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems - Book

£69.99

£57.89

Book (Hardback)

Item not Available
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems - Book

£69.99

Book (Paperback / softback)

Add to Basket
Graph and Model Transformation : General Framework and Applications - Book

£109.99

£95.55

Book (Hardback)

Item not Available
Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information - Book

£83.50

£82.95

Book (Paperback / softback)

Item not Available
Graph and Model Transformation : General Framework and Applications - Book

£89.99

Book (Paperback / softback)

Add to Basket
Models and Algorithms of Time-Dependent Scheduling - Book

£129.99

Book (Hardback)

Add to Basket
Models and Algorithms of Time-Dependent Scheduling - Book

Models and Algorithms of Time-Dependent Scheduling

Stanislaw Gawiejnowicz

Format: Book (Paperback / softback)

£129.99

Book (Paperback / softback)

Add to Basket
Theory of Reversible Computing - Book

Theory of Reversible Computing

Kenichi Morita

Format: Book (Hardback)

£149.99

Book (Hardback)

Add to Basket
Theoretical Aspects of Local Search - Book

Theoretical Aspects of Local Search

Wil Michiels

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
Semantic Integration of Heterogeneous Software Specifications - Book

£139.99

£120.95

Book (Hardback)

Item not Available
Duration Calculus : A Formal Approach to Real-Time Systems - Book

£119.99

£104.05

Book (Hardback)

Item not Available
Incomplete Information: Structure, Inference, Complexity - Book

£139.99

£120.95

Book (Hardback)

Item not Available
Theory of Semi-feasible Algorithms - Book

Theory of Semi-feasible Algorithms

Lane A. Hemaspaandra

Format: Book (Hardback)

£89.99

Book (Hardback)

Add to Basket
Process Algebra with Timing - Book

Process Algebra with Timing

J.C.M. Baeten

Format: Book (Hardback)

£84.99

£69.79

Book (Hardback)

Item not Available
Restricted-Orientation Convexity - Book

Restricted-Orientation Convexity

Eugene Fink

Format: Book (Hardback)

£54.99

£46.05

Book (Hardback)

Item not Available
Petri Net Algebra - Book

Petri Net Algebra

Eike Best

Format: Book (Hardback)

£145.00

£125.25

Book (Hardback)

Item not Available
Time-dependent Scheduling - Book

Time-dependent Scheduling

Stanislaw Gawiejnowicz

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
Logics of Specification Languages - Book

Logics of Specification Languages

Dines Bjorner

Format: Book (Hardback)

£169.99

£146.35

Book (Hardback)

Item not Available
Unfoldings : A Partial-order Approach to Model Checking - Book

Unfoldings : A Partial-order Approach to Model Checking

Javier Esparza

Format: Book (Hardback)

£99.99

£80.85

Book (Hardback)

Item not Available
Handbook of Weighted Automata - Book

Handbook of Weighted Automata

Manfred Droste

Format: Book (Hardback)

£169.99

£146.35

Book (Hardback)

Item not Available
Showing 1 - 24 (of 48)
Refine