Showing 1 - 24 (of 184)
Refine
Advanced Smart Computing Technologies in Cybersecurity and Forensics - Book

Advanced Smart Computing Technologies in Cybersecurity and Forensics

Keshav (UPES, Dehradun, India) Kaushik

Format: Book (Paperback / softback)

£45.99

£40.12

Book (Paperback / softback)

Add to Basket
Multilevel Modeling of Secure Systems in QoP-ML - Book

Multilevel Modeling of Secure Systems in QoP-ML

Bogdan (Maria Curie-Sklodowska University, Lublin Voivod Ksiezopolski

Format: Book (Paperback / softback)

£45.99

£40.12

Book (Paperback / softback)

Add to Basket
Taking the “Oof!” Out of Proofs - Book

Taking the “Oof!” Out of Proofs

Alexandr Draganov

Format: Book (Paperback / softback)

£44.99

£38.55

Book (Paperback / softback)

Add to Basket
Propositional Quantifiers - Book

Propositional Quantifiers

Peter (Universitetet i Oslo) Fritz

Format: Book (Hardback)

£49.99

£46.13

Book (Hardback)

Pre-Order
Category Theory - Book

Category Theory

Steve (Carnegie Mellon University, USA) Awodey

Format: Book (Paperback / softback)

£57.00

£48.27

Book (Paperback / softback)

Add to Basket
Sheaves in Geometry and Logic : A First Introduction to Topos Theory - Book

Sheaves in Geometry and Logic : A First Introduction to Topos Theory

Saunders MacLane

Format: Book (Paperback / softback)

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Turing Computability : Theory and Applications - Book

Turing Computability : Theory and Applications

Robert I. Soare

Format: Book (Hardback)

£69.99

£49.98

Book (Hardback)

Add to Basket
An Invitation to Applied Category Theory : Seven Sketches in Compositionality - Book

An Invitation to Applied Category Theory : Seven Sketches in Compositionality

Brendan (Massachusetts Institute of Technology) Fong

Format: Book (Paperback / softback)

£41.99

£37.04

Book (Paperback / softback)

Add to Basket
Propositional and Predicate Calculus: A Model of Argument - Book

Propositional and Predicate Calculus: A Model of Argument

Derek Goldrei

Format: Book (Paperback / softback)

£54.99

£40.24

Book (Paperback / softback)

Add to Basket
Logic and Structure - Book

Logic and Structure

Dirk van Dalen

Format: Book (Paperback / softback)

£59.99

£42.98

Book (Paperback / softback)

Add to Basket
Mathematical Logic - Book

Mathematical Logic

Heinz-Dieter Ebbinghaus

Format: Book (Hardback)

£54.99

£40.53

Book (Hardback)

Add to Basket
Basic Proof Theory - Book

Basic Proof Theory

A. S. (Universiteit van Amsterdam) Troelstra

Format: Book (Paperback / softback)

£42.99

£37.81

Book (Paperback / softback)

Add to Basket
Cryptography : Theory and Practice - Book

Cryptography : Theory and Practice

Douglas Robert Stinson

Format: Book (Paperback / softback)

£43.99

£38.57

Book (Paperback / softback)

Add to Basket
Quaternions for Computer Graphics - Book

Quaternions for Computer Graphics

John Vince

Format: Book (Hardback)

£59.99

£43.49

Book (Hardback)

Add to Basket
Elements of Set Theory - Book

Elements of Set Theory

Herbert B. (University of California, Los Angeles, U.S.A.) Enderton

Format: Book (Hardback)

£56.99

£47.20

Book (Hardback)

Add to Basket
(Co)end Calculus - Book

(Co)end Calculus

Fosco Loregian

Format: Book (Paperback / softback)

£55.00

£46.74

Book (Paperback / softback)

Add to Basket
Philosophical Uses of Categoricity Arguments - Book

Philosophical Uses of Categoricity Arguments

Penelope (University of California, Irvine) Maddy

Format: Book (Hardback)

£49.99

£45.33

Book (Hardback)

Add to Basket
Essential Enterprise Blockchain Concepts and Applications - Book

Essential Enterprise Blockchain Concepts and Applications

Kavita (Galgotias University, India) Saini

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
Modern Cryptography with Proof Techniques and Implementations - Book

Modern Cryptography with Proof Techniques and Implementations

Seong Oun Hwang

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
The Zero Trust Framework : Threat Hunting & Quantum Mechanics - Book

The Zero Trust Framework : Threat Hunting & Quantum Mechanics

Ravindra (Apollo Biometrics, Inc., Chicago, Illinois, USA) Das

Format: Book (Hardback)

£48.99

£41.62

Book (Hardback)

Add to Basket
Algorithms for Constructing Computably Enumerable Sets - Book

Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit

Format: Book (Hardback)

£54.99

£40.53

Book (Hardback)

Add to Basket
Computability - Book

Computability

George Tourlakis

Format: Book (Paperback / softback)

£54.99

£40.53

Book (Paperback / softback)

Add to Basket
Conceptual Mathematics : A First Introduction to Categories - Book

Conceptual Mathematics : A First Introduction to Categories

F. William (State University of New York, Buffalo) Lawvere

Format: Book (Paperback / softback)

£44.99

£39.34

Book (Paperback / softback)

Add to Basket
The Oxford Handbook of Philosophy of Mathematics and Logic - Book

The Oxford Handbook of Philosophy of Mathematics and Logic

Stewart (Professor of Philosophy, Professor of Philosophy, Oh Shapiro

Format: Book (Paperback / softback)

£47.31

Book (Paperback / softback)

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