Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif
Out of stock
Format: Book (Paperback / softback)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Elements of 8-Category Theory
Emily (The Johns Hopkins University, Maryland) Riehl
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Type-2 Fuzzy Logic: Theory and Applications
Oscar Castillo
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Saturated Model Theory (2nd Edition)
Gerald E (Harvard Univ, Usa) Sacks
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£54.00
£51.75
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif
Out of stock
Format: Book (Hardback)
The Truth Value Algebra of Type-2 Fuzzy Sets : Order Convolutions of Functions on the Unit Interval
John Harding
Out of stock
Format: Book (Hardback)
La structure des representations universelles modulo p pour gl2
Morra-S
Out of stock
Format: Book (Paperback / softback)
Mastering Essential Math Skills Book 2, Bilingual Edition - English/Spanish
Richard W Fisher
Out of stock
Format: Book (Paperback / softback)
Introduction to Logic and to the Methodology of Deductive Sciences
The late Alfred Tarski
Out of stock
Format: Book (Hardback)
Diamond: A Paradox Logic (2nd Edition)
Nathaniel S (City College Of San Francisco, Usa) Hellerstein
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£95.00
£88.75
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Handbook of Categorical Algebra: Volume 2, Categories and Structures
Francis (Universite Catholique de Louvain, Belgium) Borceux
Out of stock
Format: Book (Hardback)
Lectures in Logic and Set Theory: Volume 2, Set Theory
George (York University, Toronto) Tourlakis
Out of stock
Format: Book (Hardback)
Iterative Solution Methods
Owe (Katholieke Universiteit Nijmegen, The Netherlands) Axelsson
Out of stock
Format: Book (Paperback / softback)
Lectures in Logic and Set Theory: Volume 2, Set Theory
George (York University, Toronto) Tourlakis
Out of stock
Format: Book (Paperback / softback)
Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970
J. Siekmann
Item not Available
Format: Book (Paperback / softback)
£114.00
£98.99
Item not Available
Book (Paperback / softback)
Categorical Logic and Type Theory : Volume 141
B. (Computing Science Institute, University of Nijmegen, The N Jacobs
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£99.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Transform Methods in Applied Mathematics : An Introduction
Peter Lancaster
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£181.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
The Traveling Salesman Problem : A Guided Tour of Combinatorial Optimization
E. L. (University of California, Berkeley) Lawler
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£396.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. (Montana Tech, The University of Montana) Rossi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£129.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Bounds for Determinants of Linear Operators and their Applications
Michael (Ben Gurion University of the Negev, Israel) Gil'
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£155.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
