Browse Results

Showing 8,976 through 9,000 of 85,166 results
Title Author ISBN Copyright Features Action
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 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
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Lecture Notes in Computer Science #10482) 2253114 Deepak D'Souza K. Narayan Kumar 9783319681672 2017 Contains images
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science #9364) 2835612 Bernd Finkbeiner Geguang Pu Lijun Zhang 9783319249537 2015 Contains images
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science #4218) 4668600 Susanne Graf Wenhui Zhang 9783540472384 2006
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings (Lecture Notes in Computer Science #12971) 4324311 Zhe Hou Vijay Ganesh 9783030888855 2021 Contains images
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science #8172) 4736803 Dang Van Hung Mizuhito Ogawa 9783319024448 2013
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science #12302) 3735503 Dang Van Hung Oleg Sokolsky 9783030591526 2020 Contains images
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science #11138) 2241550 Shuvendu K. Lahiri Chao Wang 9783030010904 2018 Contains images

Refine Search

Showing 8,976 through 9,000 of 85,166 results