Handbook of Applied Cryptography
Alfred J. (University of Waterloo, Waterloo, Ontario, Canada) Menezes
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Category Theory
Steve (Carnegie Mellon University, USA) Awodey
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£64.99
£57.65
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Mathematical Proofs: A Transition to Advanced Mathematics : Pearson New International Edition
Gary Chartrand
In Stock - usually despatched within 24 hours
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)
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
Dirk van Dalen
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Logic and Structure
Dirk van Dalen
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£59.99
£53.15
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Philosophy of Science for Scientists
Lars-Goran Johansson
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download - Immediately Available
Format: eBook (PDF)
Proofs and Fundamentals : A First Course in Abstract Mathematics
Ethan D. Bloch
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Quaternions for Computer Graphics
John Vince
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Elements of Set Theory
Herbert B. (University of California, Los Angeles, U.S.A.) Enderton
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
A First Course in Logic
Mark Verus Lawson
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
How to Read and Do Proofs : An Introduction to Mathematical Thought Processes
Daniel (Case Western Reserve University, Ohio) Solow
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£75.95
£73.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Locally Presentable and Accessible Categories
J. Adamek
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£87.99
£87.59
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download - Immediately Available
Format: eBook (PDF)
The Tools of Mathematical Reasoning
Tamara J. Lakins
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
