Filter

Showing 121297–121308 of 125991 results

Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verified Signal Processing Algorithms in MATLAB and C Advised by Israel Greiss Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers Ebook (yecbook.shop)

$10.00
Add to wishlist
Quick View

Ebook

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers Ebook (yecbook.shop)

$10.00