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
|
|