Computer Aided Fraud Prevention and Detection
834391
|
David Coderre
|
9780470451618 |
2009 |
Contains images
|
|
Computer-Aided Graphics and Design (Computer Aided Engineering Ser. #4)
5603246
|
Daniel L. Ryan
|
9781351458627 |
1994 |
Contains images
|
|
Computer-Aided Graphing and Simulation Tools for AutoCAD Users
6402666
|
P. A. Simionescu
|
9781040057056 |
2015 |
Contains images
|
|
Computer Aided Intervention and Diagnostics in Clinical and Medical Images (Lecture Notes in Computational Vision and Biomechanics #31)
2353086
|
J. Dinesh Peter
Steven Lawrence Fernandes
Carlos Eduardo Thomaz
Serestina Viriri
|
9783030040611 |
2019 |
Contains images
|
|
Computer-Aided Kinetics for Machine Design (Mechanical Engineering Ser. #7)
3696317
|
Daniel L. Ryan
|
9781000146110 |
1981 |
Contains images
|
|
Computer-aided Nonlinear Control System Design: Using Describing Function Models
2101125
|
Amir Nassirharand
|
9781447121497 |
2012 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I (Lecture Notes in Computer Science #10671)
2114692
|
Roberto Moreno-Díaz
Franz Pichler
Alexis Quesada-Arencibia
|
9783319747187 |
2018 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science #10672)
2114702
|
Roberto Moreno-Díaz
Franz Pichler
Alexis Quesada-Arencibia
|
9783319747279 |
2018 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12014)
3424920
|
Roberto Moreno-Díaz
Franz Pichler
Alexis Quesada-Arencibia
|
9783030450960 |
2020 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12013)
3424921
|
Roberto Moreno-Díaz
Franz Pichler
Alexis Quesada-Arencibia
|
9783030450939 |
2020 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13789)
5178443
|
Roberto Moreno-Díaz
Franz Pichler
Alexis Quesada-Arencibia
|
9783031253126 |
2022 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science #15172)
6529314
|
Alexis Quesada-Arencibia
Michael Affenzeller
Roberto Moreno-Díaz
|
9783031829499 |
2025 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II (Lecture Notes in Computer Science #15173)
6529364
|
Alexis Quesada-Arencibia
Michael Affenzeller
Roberto Moreno-Díaz
|
9783031829574 |
2025 |
Contains images
|
|
Computer Aided Systems Theory – EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III (Lecture Notes in Computer Science #15174)
6529466
|
Alexis Quesada-Arencibia
Michael Affenzeller
Roberto Moreno-Díaz
|
9783031838859 |
2025 |
Contains images
|
|
Computer Aided Systems Theory - EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers (Lecture Notes in Computer Science #9520)
2108846
|
Roberto Moreno-Díaz
Franz Pichler
Alexis Quesada-Arencibia
|
9783319273402 |
2015 |
Contains images
|
|
Computer-Aided Translation Technology: A Practical Introduction
313113
|
Lynne Bowker
|
9780776630168 |
2002 |
|
|
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9779)
2110722
|
Swarat Chaudhuri
Azadeh Farzan
|
9783319415284 |
2016 |
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: 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: 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: 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: 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 I (Lecture Notes in Computer Science #13964)
5800219
|
Constantin Enea
Akash Lal
|
9783031377068 |
2023 |
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
|
|