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 BasketRelational 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 BasketCherlin’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 BasketAutomata 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 BasketThe 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 BasketConcrete 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 BasketDynamics 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 BasketDynamic 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 BasketLogic 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 BasketAlgorithms 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 BasketFormal 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 BasketHilbert'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 BasketThe 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 BasketCryptocurrencies : 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 BasketMathematics 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 BasketBlockchain, 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 BasketPractical 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 BasketUnderstanding 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 BasketData-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 BasketThe 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 BasketMultimedia 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 BasketMultimedia 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