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.

Supporting your high street Find out how »
Showing 1 - 23 (of 23)
Refine
Restricted-Orientation Convexity - Book

Restricted-Orientation Convexity

Eugene Fink

Item not Available

Format: Book (Hardback)

£54.99

£46.05

Item not Available

Book (Hardback)

Item not Available
Petri Net Algebra - Book

Petri Net Algebra

Eike Best

Item not Available

Format: Book (Hardback)

£145.00

£125.25

Item not Available

Book (Hardback)

Item not Available
Time-dependent Scheduling - Book

Time-dependent Scheduling

Stanislaw Gawiejnowicz

Item not Available

Format: Book (Hardback)

£109.99

£95.55

Item not Available

Book (Hardback)

Item not Available
Logics of Specification Languages - Book

Logics of Specification Languages

Dines Bjorner

Item not Available

Format: Book (Hardback)

£169.99

£146.35

Item not Available

Book (Hardback)

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

Unfoldings : A Partial-order Approach to Model Checking

Javier Esparza

Item not Available

Format: Book (Hardback)

£99.99

£80.85

Item not Available

Book (Hardback)

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

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems

Roberto Gorrieri

Item not Available

Format: Book (Hardback)

£69.99

£57.89

Item not Available

Book (Hardback)

Item not Available
Domain Science and Engineering : A Foundation for Software Development - Book

Domain Science and Engineering : A Foundation for Software Development

Dines Bjorner

Out of stock

Format: Book (Hardback)

£139.99

Out of stock

Book (Hardback)

Add to Basket
Words and Graphs - Book

Words and Graphs

Sergey Kitaev

Item not Available

Format: Book (Hardback)

£99.99

£81.35

Item not Available

Book (Hardback)

Item not Available
Theoretical Aspects of Local Search - Book

Theoretical Aspects of Local Search

Wil Michiels

Item not Available

Format: Book (Hardback)

£109.99

£95.55

Item not Available

Book (Hardback)

Item not Available
Semantic Integration of Heterogeneous Software Specifications - Book

Semantic Integration of Heterogeneous Software Specifications

Martin Grosse-Rhode

Item not Available

Format: Book (Hardback)

£139.99

£120.95

Item not Available

Book (Hardback)

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

Duration Calculus : A Formal Approach to Real-Time Systems

Chaochen Zhou

Item not Available

Format: Book (Hardback)

£119.99

£104.05

Item not Available

Book (Hardback)

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

Incomplete Information: Structure, Inference, Complexity

Stephane P. Demri

Item not Available

Format: Book (Hardback)

£139.99

£120.95

Item not Available

Book (Hardback)

Item not Available
Theory of Semi-feasible Algorithms - Book

Theory of Semi-feasible Algorithms

Lane A. Hemaspaandra

Out of stock

Format: Book (Hardback)

£89.99

Out of stock

Book (Hardback)

Add to Basket
Process Algebra with Timing - Book

Process Algebra with Timing

J.C.M. Baeten

Item not Available

Format: Book (Hardback)

£84.99

£69.79

Item not Available

Book (Hardback)

Item not Available
Handbook of Weighted Automata - Book

Handbook of Weighted Automata

Manfred Droste

Item not Available

Format: Book (Hardback)

£169.99

£146.35

Item not Available

Book (Hardback)

Item not Available
Stochastic Coalgebraic Logic - Book

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Item not Available

Format: Book (Hardback)

£119.99

£104.05

Item not Available

Book (Hardback)

Item not Available
Models and Algorithms of Time-Dependent Scheduling - Book

Models and Algorithms of Time-Dependent Scheduling

Stanislaw Gawiejnowicz

Out of stock

Format: Book (Hardback)

£129.99

Out of stock

Book (Hardback)

Add to Basket
Theory of Reversible Computing - Book

Theory of Reversible Computing

Kenichi Morita

Out of stock

Format: Book (Hardback)

£149.99

Out of stock

Book (Hardback)

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

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)

Item not Available
Theoretical Aspects of Distributed Computing in Sensor Networks - Book

Theoretical Aspects of Distributed Computing in Sensor Networks

Sotiris Nikoletseas

Item not Available

Format: Book (Hardback)

£129.99

£112.49

Item not Available

Book (Hardback)

Item not Available
Deterministic Extraction from Weak Random Sources - Book

Deterministic Extraction from Weak Random Sources

Ariel Gabizon

Item not Available

Format: Book (Hardback)

£99.99

£81.69

Item not Available

Book (Hardback)

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

Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information

Ferdinando Cicalese

Item not Available

Format: Book (Hardback)

£84.99

£69.35

Item not Available

Book (Hardback)

Item not Available
Patterns in Permutations and Words - Book

Patterns in Permutations and Words

Sergey Kitaev

Out of stock

Format: Book (Hardback)

£149.99

Out of stock

Book (Hardback)

Add to Basket
Showing 1 - 23 (of 23)
Refine