Browse Results

Showing 6,976 through 7,000 of 62,727 results
Title Author ISBN Copyright Features Action
Automated Physical Database Design and Tuning (Emerging Directions in Database Systems and Applications) 6319835 Nicolas Bruno 9781040068977 2011 Contains images
Automated Reasoning for Systems Biology and Medicine (Computational Biology #30) 2611833 Pietro Liò Paolo Zuliani 9783030172978 2019 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (Lecture Notes in Computer Science #10501) 2113767 Renate A. Schmidt Cláudia Nalon 9783319669021 2017 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science #11714) 2871968 Serenella Cerrito Andrei Popescu 9783030290269 2019 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (Lecture Notes in Computer Science #12842) 4263410 Sara Negri Anupam Das 9783030860592 2021 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (Lecture Notes in Computer Science #14278) 5657389 Josef Urban Revantha Ramanayake 9783031435133 2023 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12166) 3547058 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510749 2020 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12167) 3547016 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510541 2020 Contains images
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14739) 6561899 Renate A. Schmidt Christoph Benzmüller Marijn J. H. Heule 9783031634987 2024 Contains images
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14740) 6084323 Renate A. Schmidt Christoph Benzmüller Marijn J. H. Heule 9783031635014 2024 Contains images
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings (Lecture Notes in Computer Science #9706) 2110645 Nicola Olivetti Ashish Tiwari 9783319402291 2016 Contains images
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Computer Science #10900) 2140067 Stephan Schulz Didier Galmiche Roberto Sebastiani 9783319942056 2018 Contains images
Automated Secure Computing for Next-Generation Systems 5729453 Amit Kumar Tyagi 9781394213924 2024 Contains images
Automated Security Management 2104544 Ehab Al-Shaer Xinming Ou Geoffrey Xie 9783319014333 2013 Contains images
Automated Software Engineering: A Deep Learning-Based Approach (Learning and Analytics in Intelligent Systems #8) 3400293 Suresh Chandra Satapathy Ajay Kumar Jena Jagannath Singh Saurabh Bilgaiyan 9783030380069 2020 Contains images
Automated Software Testing with Cypress 5401142 Narayanan Palani 9781000377231 2021 Contains images
Automated Software Testing: Foundations, Applications and Challenges (Services and Business Process Reengineering) 3400649 Durga Prasad Mohapatra Himansu Das Ajay Kumar Jena 9789811524554 2020 Contains images
Automated Taxon Identification in Systematics: Theory, Approaches and Applications 6318075 Norman MacLeod 9781040200773 2008 Contains images
Automated Taxonomy Discovery and Exploration (Synthesis Lectures on Data Mining and Knowledge Discovery) 4963672 Jiawei Han Jiaming Shen 9783031114052 2022 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) 2108259 Bernd Finkbeiner Geguang Pu Lijun Zhang 9783319249537 2015 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) 2111303 Cyrille Artho Axel Legay Doron Peled 9783319465203 2016 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) 2113892 Deepak D’souza K. Narayan Kumar 9783319681672 2017 Contains images
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781) 2958041 Javier Esparza Yu-Fang Chen Chih-Hong Cheng 9783030317843 2019 Contains images
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science #12302) 3638848 Dang Van Hung Oleg Sokolsky 9783030591526 2020 Contains images
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) 4323808 Zhe Hou Vijay Ganesh 9783030888855 2021 Contains images

Refine Search

Showing 6,976 through 7,000 of 62,727 results