Browse Results

Showing 71,051 through 71,075 of 100,000 results
Title Author ISBN Copyright Features Action
Automated Sample Preparation: Methods for GC-MS and LC-MS 4280858 Hans-Joachim Hubschmann 9783527817504 2021
Automated Sample Preparation: Methods for GC-MS and LC-MS 4305903 Hans-Joachim Hubschmann 9783527817528 2021 Contains images
Automated Scheduling and Planning: From Theory to Practice (Studies in Computational Intelligence #505) 4624890 A. Sima Uyar Ender Ozcan Neil Urquhart 9783642393044 2013
Automated Secure Computing for Next-Generation Systems 5729454 Amit Kumar Tyagi 9781394213931 2024
Automated Secure Computing for Next-Generation Systems 5729456 Amit Kumar Tyagi 9781394213924 2024 Contains images
Automated Security Analysis of Android and iOS Applications with Mobile Security Framework 6214455 Henry Dalziel Ajin Abraham 9780128051054 2016 Contains images
Automated Security Management 4668044 Ehab Al-Shaer, Xinming Ou and Geoffrey Xie 9783319014333 2013 Contains images
Automated Software and Service Composition: A Survey and Evaluating Review (SpringerBriefs in Computer Science) 2846048 Felix Mohr 9783319341682 2016
Automated Software Diversity (Synthesis Lectures on Information Security, Privacy, and Trust) 4575723 Per Larsen Stefan Brunthaler Lucas Davi Ahmad-Reza Sadeghi 9783031023460 2016
Automated Software Engineering: A Deep Learning-Based Approach (Learning and Analytics in Intelligent Systems #8) 3030969 Suresh Chandra Satapathy Ajay Kumar Jena Jagannath Singh Saurabh Bilgaiyan 9783030380069 2020 Contains images
Automated Software Testing: Foundations, Applications and Challenges (Services and Business Process Reengineering) 3077345 Ajay Kumar Jena Himansu Das Durga Prasad Mohapatra 9789811524554 2020 Contains images
Automated Software Testing with Cypress 3963624 Narayanan Palani 9781000377194 2021
Automated Software Testing with Cypress 5409262 Narayanan Palani 9781000377231 2021 Contains images
Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book (Lecture Notes in Computational Science and Engineering #84) 4673999 Anders Logg Kent-Andre Mardal Garth Wells 9783642230998 2012
Automated Speaking Assessment: Using Language Technologies to Score Spontaneous Speech 2967896 Klaus Zechner Keelan Evanini 9781351676113 2020
Automated Taxonomy Discovery and Exploration (Synthesis Lectures on Data Mining and Knowledge Discovery) 4962473 Jiaming Shen Jiawei Han 9783031114052 2022 Contains images
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14216) 5670179 Étienne André Jun Sun 9783031453328 2023 Contains images
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14215) 5680805 Étienne André Jun Sun 9783031453298 2023 Contains images
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science #9938) 2852016 Cyrille Artho Axel Legay Doron Peled 9783319465203 2016 Contains images
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science #6252) 4801450 Ahmed Bouajjani Wei-Ngan Chin 9783642156434 2010
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings (Lecture Notes in Computer Science #13505) 5007294 Ahmed Bouajjani Lukáš Holík Zhilin Wu 9783031199929 2022 Contains images
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science #6996) 4617086 Tevfik Bultan Pao-Ann Hsiung 9783642243721 2011
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science #8837) 2816946 Franck Cassez Jean-François Raskin 9783319119366 2014
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science #5311) 4753696 Sungdeok Cha Jin-Young Choi Moonzoo Kim Mahesh Viswanathan 9783540883876 2008
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781) 2943293 Yu-Fang Chen Chih-Hong Cheng Javier Esparza 9783030317843 2019 Contains images

Refine Search

Showing 71,051 through 71,075 of 100,000 results