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
|
|