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 67)
Refine
Understanding Behaviour of Distributed Systems Using mCRL2 - Book

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif

Format: Book (Paperback / softback)

£159.99

£150.85

Book (Paperback / softback)

Add to Basket
Introduction to Set Theory, Revised and Expanded - Book

Introduction to Set Theory, Revised and Expanded

Karel (City College of New York, USA) Hrbacek

Format: Book (Hardback)

£96.99

£96.45

Book (Hardback)

Add to Basket
Type Theory and Formal Proof : An Introduction - Book

£66.99

Book (Hardback)

Add to Basket
Elements of 8-Category Theory - Book

Elements of 8-Category Theory

Emily (The Johns Hopkins University, Maryland) Riehl

Format: Book (Hardback)

£62.99

Book (Hardback)

Add to Basket
Type-2 Fuzzy Logic: Theory and Applications - Book

Type-2 Fuzzy Logic: Theory and Applications

Oscar Castillo

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
Type-2 Fuzzy Logic: Theory and Applications - eBook

Type-2 Fuzzy Logic: Theory and Applications

Oscar Castillo

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Saturated Model Theory (2nd Edition) - Book

Saturated Model Theory (2nd Edition)

Gerald E (Harvard Univ, Usa) Sacks

Format: Book (Hardback)

£54.00

£51.75

Book (Hardback)

Add to Basket
Understanding Behaviour of Distributed Systems Using mCRL2 - Book

£159.99

£150.85

Book (Hardback)

Add to Basket
Mastering Essential Math Skills Book 2, Bilingual Edition - English/Spanish - Book

£51.65

Book (Paperback / softback)

Add to Basket
La structure des representations universelles modulo p pour gl2 - Book

La structure des representations universelles modulo p pour gl2

Morra-S

Format: Book (Paperback / softback)

£61.00

Book (Paperback / softback)

Add to Basket
Structural Ramsey Theory of Metric Spaces and Topological Dynamics of Isometry Groups - eBook

£91.20

£68.40

eBook (PDF)

Add to Basket
Introduction to Logic and to the Methodology of Deductive Sciences - Book

£130.00

Book (Hardback)

Add to Basket
Godel's Incompleteness Theorems - Book

£260.00

Book (Hardback)

Add to Basket
Iterative Solution Methods - Book

£79.99

£79.85

Book (Paperback / softback)

Add to Basket
Transform Methods in Applied Mathematics : An Introduction - Book

Transform Methods in Applied Mathematics : An Introduction

Peter Lancaster

Format: Book (Hardback)

£181.95

Book (Hardback)

Add to Basket
Categorical Logic and Type Theory : Volume 141 - Book

Categorical Logic and Type Theory : Volume 141

B. (Computing Science Institute, University of Nijmegen, The N Jacobs

Format: Book (Paperback / softback)

£99.00

Book (Paperback / softback)

Add to Basket
Theorems, Corollaries, Lemmas, and Methods of Proof - Book

Theorems, Corollaries, Lemmas, and Methods of Proof

Richard J. (Montana Tech, The University of Montana) Rossi

Format: Book (Hardback)

£129.95

Book (Hardback)

Add to Basket
Bounds for Determinants of Linear Operators and their Applications - Book

Bounds for Determinants of Linear Operators and their Applications

Michael (Ben Gurion University of the Negev, Israel) Gil'

Format: Book (Hardback)

£155.00

Book (Hardback)

Add to Basket
Metamathematics of First-Order Arithmetic - Book

£144.99

Book (Hardback)

Add to Basket
Showing 1 - 24 (of 67)
Refine