Browse Results

Showing 11,951 through 11,975 of 59,075 results
Title Author ISBN Copyright Features Action
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 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 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 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 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 Translation Technology: A Practical Introduction 313113 Lynne Bowker 9780776630168 2002
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: 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: 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: 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: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science #13966) 5413605 Constantin Enea Akash Lal 9783031377099 2023 Contains images
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science #13965) 5477052 Constantin Enea Akash Lal 9783031377037 2023 Contains images
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science #13964) 5800219 Constantin Enea Akash Lal 9783031377068 2023 Contains images
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science #14683) 6111292 Arie Gurfinkel Vijay Ganesh 9783031656330 2024 Contains images
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14682) 6149251 Arie Gurfinkel Vijay Ganesh 9783031656309 2024 Contains images
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14681) 6150030 Arie Gurfinkel Vijay Ganesh 9783031656279 2024 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: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12225) 3548049 Shuvendu K. Lahiri Chao Wang 9783030532918 2020 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 Shuvendu K. Lahiri Chao Wang 9783030532888 2020 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: 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
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

Refine Search

Showing 11,951 through 11,975 of 59,075 results