Browse Results

Showing 12,326 through 12,350 of 60,484 results
Title Author ISBN Copyright Features Action
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
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760) 4211970 Alexandra Silva K. Rustan M. Leino 9783030816889 2021 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 Alexandra Silva K. Rustan M. Leino 9783030816858 2021 Contains images
Computer Aided Writing 3003467 André Klahold Madjid Fathi 9783030274399 2020 Contains images
Computer Algebra and Symbolic Computation: Mathematical Methods 6399331 Joel S. Cohen 9781040188033 2003 Contains images
Computer Algebra and Symbolic Computation: Elementary Algorithms 6405726 Joel S. Cohen 9781040188026 2002 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 François Boulier Matthew England Ilias Kotsireas Timur M. Sadykov Evgenii V. Vorozhtsov 9783031417245 2023 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 François Boulier Matthew England Timur M. Sadykov Evgenii V. Vorozhtsov 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 François Boulier Matthew England Timur M. Sadykov Evgenii V. Vorozhtsov 9783031147883 2022 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 Matthew England Wolfram Koepf Timur M. Sadykov Werner M. Seiler Evgenii V. Vorozhtsov 9783030268312 2019 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 Vladimir P. Gerdt Wolfram Koepf Werner M. Seiler Evgenii V. Vorozhtsov 9783319996394 2018 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 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
Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10424) 2113484 Michael Felsberg Anders Heyden Norbert Krüger 9783319646893 2017 Contains images
Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10425) 2113485 Michael Felsberg Anders Heyden Norbert Krüger 9783319646985 2017 Contains images

Refine Search

Showing 12,326 through 12,350 of 60,484 results