Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Out of stock
Format: Book (Paperback / softback)
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Rayna Dimitrova
Out of stock
Format: Book (Paperback / softback)
Mathematical Modeling and Supercomputer Technologies : 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13–16, 2023, Revised Selected Papers
Dmitry Balandin
Out of stock
Format: Book (Paperback / softback)
LATIN 2024: Theoretical Informatics : 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II
Jose A. Soto
Out of stock
Format: Book (Paperback / softback)
Reflections on the Foundations of Probability and Statistics : Essays in Honor of Teddy Seidenfeld
Thomas Augustin
Out of stock
Format: Book (Paperback / softback)
Handbook of Biometric Anti-Spoofing : Presentation Attack Detection and Vulnerability Assessment
Sebastien Marcel
Out of stock
Format: Book (Paperback / softback)
WALCOM: Algorithms and Computation : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024, Proceedings
Ryuhei Uehara
Out of stock
Format: Book (Paperback / softback)
A Promenade in Mathematical Proofs with Comprehensive Review of Proof Techniques
Abdelouahed Hamdi
Out of stock
Format: Book (Paperback / softback)
Frontiers of Algorithmics : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Minming Li
Out of stock
Format: Book (Paperback / softback)
Mathematical Optimization Theory and Operations Research: Recent Trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Michael Khachay
Out of stock
Format: Book (Paperback / softback)
Graph-Theoretic Concepts in Computer Science : 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers
Daniel Paulusma
Out of stock
Format: Book (Paperback / softback)
Integrated Uncertainty in Knowledge Modelling and Decision Making : 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2–4, 2023, Proceedings, Part I
Van-Nam Huynh
Out of stock
Format: Book (Paperback / softback)
Integrated Uncertainty in Knowledge Modelling and Decision Making : 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2–4, 2023, Proceedings, Part II
Katsuhiro Honda
Out of stock
Format: Book (Paperback / softback)
Active Inference : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13–15, 2023, Revised Selected Papers
Christopher L. Buckley
Out of stock
Format: Book (Paperback / softback)
Advances in Optimization and Applications : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers
Nicholas Olenev
Out of stock
Format: Book (Paperback / softback)
Artificial Intelligence Research : 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4–8, 2023, Proceedings
Anban Pillay
Out of stock
Format: Book (Paperback / softback)
Algorithmic Learning in a Random World
Vladimir Vovk
Out of stock
Format: Book (Paperback / softback)
Mathematics for Computer Scientists : A Practice-Oriented Approach
Peter Hartmann
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£59.99
£53.35
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketChoice Computing: Machine Learning and Systemic Economics for Choosing
Parag Kulkarni
Out of stock
Format: Book (Paperback / softback)
Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems
Guanjun Liu
Out of stock
Format: Book (Paperback / softback)
International Conference on Neural Computing for Advanced Applications : 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Haijun Zhang
Out of stock
Format: Book (Paperback / softback)