Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, Proceedings, Part I

Prices from
40.83

Featured

COMPARE ALL WEBSHOPS (2)

Description

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, Proceedings, Part I

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 40.83
To Shop
Amazon Marketplace Logo
€ 40.83
To Shop
Description (0)

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, Proceedings, Part I

Product specifications

Brand Springer
EAN
  • 9783032325884

Springer

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629,...

€ 40.83
Compare 2 stores 2 stores

Springer

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629,...

€ 40.83
Compare 2 stores 2 stores

Springer

Computational Methods in Systems Biology: 24th International Conference, CMSB 2026, Lisbon, Portugal,...

€ 75.92
Compare 2 stores 2 stores

Springer

AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 2425, Proceedings

€ 70.31
Compare 2 stores 2 stores
Featured Choice
€ 40.83
To Shop