Browse Results

Showing 12,901 through 12,925 of 62,969 results
Title Author ISBN Copyright Features Action
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 Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science #15931) 6732453 Ruzica Piskac Zvonimir Rakamarić 9783031986680 2025 Contains images
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science #15932) 6682515 Ruzica Piskac Zvonimir Rakamarić 9783031986796 2025 Contains images
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science #15933) 6686132 Ruzica Piskac Zvonimir Rakamarić 9783031986826 2025 Contains images
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science #15934) 6686190 Ruzica Piskac Zvonimir Rakamarić 9783031986857 2025 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
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
Computer Analysis of Images and Patterns: 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11678) 2903909 Mario Vento Gennaro Percannella 9783030298883 2019 Contains images

Refine Search

Showing 12,901 through 12,925 of 62,969 results