Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Joao F. Ferreira
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Relational Calculus for Actionable Knowledge
Michel Bares
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups
Nick Gill
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£37.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques
Alberto Pettorossi
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£37.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Mathematical Representation of Physical Reality
Shahen Hacyan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
Dun Deng
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£37.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Carlos Areces
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Mohua Banerjee
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings
Catherine Dubois
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Hilbert's Programs and Beyond
Wilfried (Patrick Suppes Professor of Philosophy, Patrick Suppes Sieg
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£36.90
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
£49.99
£45.41
Unavailable
Book (Hardback)
The Indispensability of Mathematics
Mark (Lecturer, School of Philosophy, Lecturer, School of Phi Colyvan
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£41.49
£36.17
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
Antonella (Associate Professor of Mathematics, Pennsylvania Cupillari
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£45.95
£38.80
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Cryptocurrencies : A Primer on Digital Money
Mark Grabowski
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£49.99
£42.68
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Mathematics of Casino Carnival Games
Mark Bollman
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£54.99
£47.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Blockchain, Big Data and Machine Learning : Trends and Applications
Neeraj Kumar
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£54.99
£47.11
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Practical Cryptography : Algorithms and Implementations Using C++
Saiful Azad
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£56.99
£48.64
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Understanding and Applying Cryptography and Data Security
Adam J. Elbirt
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£56.99
£48.64
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Data-driven Block Ciphers for Fast Telecommunication Systems
Nikolai Moldovyan
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£56.99
£48.64
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Equation of Knowledge : From Bayes' Rule to a Unified Philosophy of Science
Le Nguyen Hoang
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£54.99
£40.62
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Multimedia Encryption and Authentication Techniques and Applications
Borko Furht
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£56.99
£48.64
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Multimedia Watermarking Techniques and Applications
Darko Kirovski
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£56.99
£48.64
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket