Browse Results

Showing 12,576 through 12,600 of 61,821 results
Title Author ISBN Copyright Features Action
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
Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings (Lecture Notes in Computer Science #14139) 5470670 Evgenii V. Vorozhtsov Matthew England Ilias Kotsireas Timur M. Sadykov François Boulier 9783031417245 2023 Contains images
Computer Algebra in Scientific Computing: 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings (Lecture Notes in Computer Science #14938) 6183674 Evgenii V. Vorozhtsov Timur M. Sadykov François Boulier Chenqi Mou 9783031690709 2024 Contains images
Computer Algorithms: Introduction to Design and Analysis 4519844 Sara Baase Allen Van Gelder 9780201612448 2000
Computer Analysis of Human Behavior 2099596 Theo Gevers Albert Ali Salah 9780857299949 2011 Contains images

Refine Search

Showing 12,576 through 12,600 of 61,821 results