Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I: 15054 (Lecture Notes in Computer Science, 15054) - Image 1

£92.18

Springer Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I: 15054 (Lecture Notes in Computer Science, 15054)

Name: Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I: 15054 (Lecture Notes in Computer Science, 15054)
Brand: Springer
Price: 92.18 GBP
Availability: InStock

Architecture & Microprocessors

New to our records — first sighting 24 days ago. We'll learn its rhythm.

24 days of data · current price £92

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 5 days • 5 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 5 days • 1 price levels

Days at Price

Price Analysis

Most common price: £92 (5 days, 100.0%)

Price range: £92 - £92

Price levels: 1 different prices over 5 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031787080
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 01 February 2025
Listed Since: 23 October 2024

Barcode

No barcode data available

Springer Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I: 15054 (Lecture Notes in Computer Science, 15054)

New to our records — first sighting 24 days ago. We'll learn its rhythm.

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II: 15055 (Lecture Notes in Computer Science, 15055)

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part XV: 15045 (Lecture Notes in Computer Science, 15045)

Pattern Recognition: 27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXIV: 15324 (Lecture Notes in Computer Science, 15324)

Data Security and Privacy Protection: Second International Conference, DSPP 2024, Xi'an, China, October 25–28, 2024, Proceedings, Part I: 15215 (Lecture Notes in Computer Science, 15215)

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15854)

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part V: 15035 (Lecture Notes in Computer Science, 15035)

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part I: 15059 (Lecture Notes in Computer Science, 15059)

Information Security and Cryptology: 20th International Conference, Inscrypt 2024, Kunming, China, December 14–16, 2024, Revised Selected Papers, Part ... (Lecture Notes in Computer Science, 15544)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part IV: 15204 (Lecture Notes in Computer Science, 15204)

Data Security and Privacy Protection: Second International Conference, DSPP 2024, Xi'an, China, October 25–28, 2024, Proceedings, Part II: 15216 (Lecture Notes in Computer Science, 15216)

Document Analysis Systems: 16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30–31, 2024, Proceedings: 14994 (Lecture Notes in Computer Science, 14994)

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XXIV: 15082 (Lecture Notes in Computer Science, 15082)

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings: 15153 (Lecture Notes in Computer Science, 15153)

Pattern Recognition. Competitions: 27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XXXIV: 15334 (Lecture Notes in Computer Science, 15334)

Parallel Problem Solving from Nature – PPSN XVIII: 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14–18, 2024, Proceedings, ... (Lecture Notes in Computer Science, 15150)

Detection of Intrusions and Malware, and Vulnerability Assessment: 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17–19, 2024, ... (Lecture Notes in Computer Science, 14828)

KI 2024: Advances in Artificial Intelligence: 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024, Proceedings: 14992 (Lecture Notes in Computer Science, 14992)

Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, ... (Lecture Notes in Computer Science, 15469)

Foundations and Practice of Security: 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9–11, 2024, Revised Selected Papers, Part ... (Lecture Notes in Computer Science, 15533)

Computer Vision – ACCV 2024: 17th Asian Conference on Computer Vision, Hanoi, Vietnam, December 8–12, 2024, Proceedings, Part III: 15474 (Lecture Notes in Computer Science, 15474)

Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part III: 15366 (Lecture Notes in Computer Science, 15366)

Intelligent Robotics and Applications: 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part I: 15201 (Lecture Notes in Computer Science, 15201)

Responsible Artificial Intelligence: Proceedings of ICRAI 2024: 1504 (Lecture Notes in Networks and Systems, 1504)

Advances in Cryptology – CRYPTO 2024: 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2024, Proceedings, Part ... (Lecture Notes in Computer Science, 14923)