The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, Proceedings, Part II

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, Proceedings

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, Proceedings

Barnes and Noble
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Barnes and Noble
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Barnes and Noble
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Barnes and Noble
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, Proceedings

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, Proceedings

Barnes and Noble
Advances Cryptology - ASIACRYPT 2021: 27th International Conference on the Theory and Application of Information Security, Singapore, December 6-10, 2021, Proceedings, Part I

Advances Cryptology - ASIACRYPT 2021: 27th International Conference on the Theory and Application of Information Security, Singapore, December 6-10, 2021, Proceedings, Part I

Barnes and Noble
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, Proceedings

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, Proceedings

Barnes and Noble
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings

Barnes and Noble
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, Proceedings

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, Proceedings

Barnes and Noble
Computer Vision -- ACCV 2014: 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part II

Computer Vision -- ACCV 2014: 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part II

Barnes and Noble
Artificial Intelligence: Theory and Applications: Proceedings of AITA 2023, Volume 1

Artificial Intelligence: Theory and Applications: Proceedings of AITA 2023, Volume 1

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, Proceedings

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, Proceedings

Barnes and Noble
Multi-disciplinary Trends Artificial Intelligence: 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11-15, Proceedings, Part II

Multi-disciplinary Trends Artificial Intelligence: 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11-15, Proceedings, Part II

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Barnes and Noble
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, Proceedings

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, Proceedings

Barnes and Noble
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind