Get Free Shipping on orders over $79
Ai Verification : Second International Symposium, Saiv 2025, Zagreb, Croatia, July 21ï½22, 2025, Proceedings - Guy Avni
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Ai Verification

Second International Symposium, Saiv 2025, Zagreb, Croatia, July 21ï½22, 2025, Proceedings

By: Guy Avni (Editor), Mirco Giacobbe (Editor), Taylor T. Johnson (Editor), Guy Katz (Editor), Anna Lukina (Editor)

Paperback | 26 November 2025

At a Glance

Paperback


$144.75

or 4 interest-free payments of $36.19 with

 or 

Ships in 10 to 15 business days

ISBN: 9783031999901

ISBN-10: 3031999908

Series: Lecture Notes in Computer Science

Published: 26th November 2025

Format: Paperback

Language: English

Number of Pages: 200

Dimensions (cm): 23.5 x 15.49

Weight (kg): 0.5

More in Artificial Intelligence

AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
The Scaling Era : An Oral History of AI, 2019-2025 - Dwarkesh Patel
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
Empire of AI : Inside the reckless race for total domination - Karen Hao
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Stuart Russell
Healthcare 5.0 with Fuzzy Logic - Ganesh Gopal Devarajan
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt