Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20–24, 2023, Proceedings (Lecture Notes in Computer Science Book 13970)
Michael Emmerich
WALCOM: Algorithms and Computation: 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings (Lecture Notes in Computer Science Book 13973)
Chun-Cheng Lin
Advanced Hybrid Information Processing: 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I (Lecture ... Telecommunications Engineering Book 547)
Lin Yun
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings (Lecture Notes in Computer Science Book 14284)
Manuel V. Hermenegildo
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science Book 13967)
Gianluca Della Vedova
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science)
Gianluca Della Vedova
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (Lecture Notes in Computer Science Book 14215)
Étienne André
Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Huchuan Lu
Service-Oriented and Cloud Computing: 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24–25, 2023, Proceedings (Lecture Notes in Computer Science)
George A. Papadopoulos
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science Book 14216)
Étienne André
Proceedings of the 7th International Conference on Civil Engineering: ICOCE 2023, 24–26 March, Singapore (Lecture Notes in Civil Engineering Book 371)
Eric Strauss
Computer Information Systems and Industrial Management: 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22–24, 2023, Proceedings (Lecture Notes in Computer Science Book 14164)
Khalid Saeed
Intelligent Information and Database Systems: 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24–26, 2023, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Ngoc Thanh Nguyen
AI for People, Democratizing AI: Second EAI International Conference, CAIP 2023, Bologna, Italy, November 24-26, 2023, Proceedings (Lecture Notes of the ... Telecommunications Engineering Book 591)
Marta Ziosi
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (Lecture Notes in Computer Science Book 14215)
Étienne André
Intelligent Data Engineering and Automated Learning – IDEAL 2023: 24th International Conference, Évora, Portugal, November 22–24, 2023, Proceedings (Lecture Notes in Computer Science Book 14404)
Paulo Quaresma
Health Information Science: 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23–24, 2023, Proceedings (Lecture Notes in Computer Science Book 14305)
Yan Li
Information Security Practice and Experience: 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24–25, 2023, Proceedings (Lecture Notes in Computer Science)
Weizhi Meng
Computer Information Systems and Industrial Management: 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22–24, 2023, Proceedings (Lecture Notes in Computer Science)
Khalid Saeed
Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
Huchuan Lu
