Browse Results

Showing 10,776 through 10,800 of 53,607 results
Title Author ISBN Copyright Features Action
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume IV, Optimization Methods for Manufacturing 5532364 Cornelius Leondes 9780429525520 2001 Contains images
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume I, Systems Techniques and Computational Methods 5893707 Cornelius Leondes 9781040062517 2001 Contains images
Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume II, Computer-Integrated Manufacturing 3388897 Cornelius T. Leondes 9780429525513 2001 Contains images
Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips: Design Automation, Testing, and Design-for-Testability 2112163 Krishnendu Chakrabarty Tsung-Yi Ho Kai Hu 9783319562551 2017 Contains images
Computer-Aided Design of User Interfaces VI: Proceedings Of The Seventh International Conference On Computer-aided Design Of Users Inferaces (cadui 2008) 2103977 Victor Lopez Jaquero Francisco Montero Simarro Jean Vanderdonckt Jose Pascual Molina Masso 9781848822061 2009 Contains images
Computer Aided Engineering of Batteries (Modern Aspects of Electrochemistry #62) 5220583 Shriram Santhanagopalan 9783031176074 2023 Contains images
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 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 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

Refine Search

Showing 10,776 through 10,800 of 53,607 results