Browse Results

Showing 12,876 through 12,900 of 62,969 results
Title Author ISBN Copyright Features Action
Computer Aided Fraud Prevention and Detection 834391 David Coderre 9780470451618 2009 Contains images
Computer Aided Intervention and Diagnostics in Clinical and Medical Images (Lecture Notes in Computational Vision and Biomechanics #31) 2353086 J. Dinesh Peter Steven Lawrence Fernandes Carlos Eduardo Thomaz Serestina Viriri 9783030040611 2019 Contains images
Computer Aided Systems Theory - EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers (Lecture Notes in Computer Science #9520) 2108846 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia 9783319273402 2015 Contains images
Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I (Lecture Notes in Computer Science #10671) 2114692 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia 9783319747187 2018 Contains images
Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science #10672) 2114702 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia 9783319747279 2018 Contains images
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12013) 3424921 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia 9783030450939 2020 Contains images
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12014) 3424920 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia 9783030450960 2020 Contains images
Computer Aided Systems Theory – EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13789) 5178443 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia 9783031253126 2022 Contains images
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science #15172) 6529314 Roberto Moreno-Díaz Alexis Quesada-Arencibia Michael Affenzeller 9783031829499 2025 Contains images
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II (Lecture Notes in Computer Science #15173) 6529364 Roberto Moreno-Díaz Alexis Quesada-Arencibia Michael Affenzeller 9783031829574 2025 Contains images
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III (Lecture Notes in Computer Science #15174) 6529466 Roberto Moreno-Díaz Alexis Quesada-Arencibia Michael Affenzeller 9783031838859 2025 Contains images
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9206) 2107671 Daniel Kroening Corina S. Păsăreanu 9783319216904 2015 Contains images
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9779) 2110722 Swarat Chaudhuri Azadeh Farzan 9783319415284 2016 Contains images
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10426) 2113164 Rupak Majumdar Viktor Kunčak 9783319633879 2017 Contains images
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427) 2113165 Rupak Majumdar Viktor Kunčak 9783319633909 2017 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981) 2119063 Hana Chockler Georg Weissenbacher 9783319961453 2018 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982) 2119062 Hana Chockler Georg Weissenbacher 9783319961422 2018 Contains images
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11561) 2827337 Isil Dillig Serdar Tasiran 9783030255404 2019 Contains images
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562) 2829435 Isil Dillig Serdar Tasiran 9783030255435 2019 Contains images
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12224) 3548058 Chao Wang Shuvendu K. Lahiri 9783030532888 2020 Contains images
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12225) 3548049 Chao Wang Shuvendu K. Lahiri 9783030532918 2020 Contains images
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759) 4216755 K. Rustan M. Leino Alexandra Silva 9783030816858 2021 Contains images
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760) 4211970 K. Rustan M. Leino Alexandra Silva 9783030816889 2021 Contains images
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science #13371) 4972604 Sharon Shoham Yakir Vizel 9783031131851 2022 Contains images
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13372) 4849386 Sharon Shoham Yakir Vizel 9783031131882 2022 Contains images

Refine Search

Showing 12,876 through 12,900 of 62,969 results