181
Artificial Intelligence for Communications and Networks [E-Book] : 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings /
182
Artificial Intelligence in Education [E-Book] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I /
183
Artificial Intelligence in Music, Sound, Art and Design [E-Book] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings /
184
Artificial Intelligence in Music, Sound, Art and Design [E-Book] : 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain,  April 20-22, 2022, Proceedings /
185
Artificial Intelligence Logic and Applications [E-Book] : The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings /
186
Artificial Intelligence Logic and Applications [E-Book] : The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings /
187
Artificial intelligence methods for software engineering [E-Book]
188
Artificial Intelligence of Things [E-Book] : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I /
189
Assurances for Self-Adaptive Systems [E-Book] : Principles, Models, and Techniques /
190
Attacks and Defenses for the Internet-of-Things [E-Book] : 5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers /
191
Augmented Reality, Virtual Reality, and Computer Graphics [E-Book] : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II /
192
Automated Deduction – CADE-24 [E-Book] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
193
Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
194
Automated Deduction - CADE 29 [E-Book] : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
195
Automated Deduction in Geometry [E-Book] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
196
Automated Deduction in Geometry [E-Book] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
197
Automated Reasoning [E-Book] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
198
Automated Reasoning [E-Book]: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
199
Automated Reasoning [E-Book] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
200
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /