1
Artificial Intelligence XXXVIII [E-Book] : 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14-16, 2021, Proceedings /
2
Algorithms and Architectures for Parallel Processing [E-Book] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V /
3
Algorithms and Architectures for Parallel Processing [E-Book] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part II /
4
Algorithms and Architectures for Parallel Processing [E-Book] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VII /
5
Structural Information and Communication Complexity [E-Book] : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings /
6
Soft Computing in Interdisciplinary Sciences [E-Book] /
7
Algorithms and Architectures for Parallel Processing [E-Book] : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings /
8
Integrated Uncertainty in Knowledge Modelling and Decision Making [E-Book] : 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18-19, 2022, Proceedings /
9
Computer Aided Verification [E-Book] : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
10
String Processing and Information Retrieval [E-Book] : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8-10, 2022, Proceedings /
11
Evolutionary Computation in Combinatorial Optimization [E-Book] : 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /
12
Genetic Programming [E-Book] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /
13
Combinatorial Algorithms [E-Book] : 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings /
14
Computer Aided Verification [E-Book] : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
15
Computer Aided Verification [E-Book] : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
16
Bioinspired Optimization Methods and Their Applications [E-Book] : 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, 2022, Proceedings /
17
Advances in Knowledge Discovery and Data Mining [E-Book] : 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III /
18
Advances in Knowledge Discovery and Data Mining [E-Book] : 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part II /
19
Advances in Knowledge Discovery and Data Mining [E-Book] : 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part IV /
20
Optimization and Learning [E-Book] : 5th International Conference, OLA 2022, Syracuse, Sicilia, Italy, July 18-20, 2022, Proceedings /