Browse Results

Showing 12,551 through 12,575 of 61,748 results
Title Author ISBN Copyright Features Action
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
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: 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 III (Lecture Notes in Computer Science #13966) 5413605 Constantin Enea Akash Lal 9783031377099 2023 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: 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 III (Lecture Notes in Computer Science #14683) 6111292 Arie Gurfinkel Vijay Ganesh 9783031656330 2024 Contains images
Computer Aided Writing 3003467 André Klahold Madjid Fathi 9783030274399 2020 Contains images
Computer Algebra in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings (Lecture Notes in Computer Science #12865) 4376514 Evgenii V. Vorozhtsov Matthew England Timur M. Sadykov François Boulier 9783030851651 2021 Contains images
Computer Algebra and Symbolic Computation: Elementary Algorithms 6405726 Joel S. Cohen 9781040188026 2002 Contains images
Computer Algebra and Symbolic Computation: Mathematical Methods 6399331 Joel S. Cohen 9781040188033 2003 Contains images
Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings (Lecture Notes in Computer Science #11077) 2249717 Wolfram Koepf Vladimir P. Gerdt Werner M. Seiler Evgenii V. Vorozhtsov 9783319996394 2018 Contains images
Computer Algebra in Scientific Computing: 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings (Lecture Notes in Computer Science #11661) 2846839 Wolfram Koepf Werner M. Seiler Evgenii V. Vorozhtsov Matthew England Timur M. Sadykov 9783030268312 2019 Contains images
Computer Algebra in Scientific Computing: 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science #12291) 3682473 Evgenii V. Vorozhtsov Matthew England Timur M. Sadykov François Boulier 9783030600266 2020 Contains images
Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings (Lecture Notes in Computer Science #13366) 4762627 Evgenii V. Vorozhtsov Matthew England Timur M. Sadykov François Boulier 9783031147883 2022 Contains images

Refine Search

Showing 12,551 through 12,575 of 61,748 results