61
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
62
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
63
Computer Security - ESORICS 2023 [E-Book] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II /
64
Computer Security - ESORICS 2023 [E-Book] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV /
65
Computer Security - ESORICS 2023 [E-Book] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I /
66
Computer Security - ESORICS 2023 [E-Book] : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III /
67
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I /
68
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III /
69
Inductive Logic Programming [E-Book] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings /
70
Advances in Information Retrieval [E-Book] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part I /
71
Taming the Infinities of Concurrency [E-Book] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
72
Applications of Evolutionary Computation [E-Book] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I /
73
Applications of Evolutionary Computation [E-Book] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II /
74
Fundamental Approaches to Software Engineering [E-Book] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings /
75
Advanced Mathematical Science for Mobility Society [E-Book] /
76
Bio-Inspired Computing: Theories and Applications [E-Book] : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I /
77
Bio-Inspired Computing: Theories and Applications [E-Book] : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II /
78
Neural Information Processing [E-Book] : 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV /
79
Smart Card Research and Advanced Applications [E-Book] : 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers /
80
Information Security and Cryptology [E-Book] : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part II /