All books of the series Lecture Notes in Computer Science
Open Access
2025 | Open Access | Book
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these …
2025 | Book
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more …
Open Access
2025 | Open Access | Book
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these …
2025 | Book
String Processing and Information Retrieval
31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23–25, 2024, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on String Processing and Information Retrieval, SPIRE 2024, held in Puerto Vallarta, Mexico, during September 23–25, 2024.
The 22 full papers and 4 short papers …
Open Access
2025 | Open Access | Book
AI in Drug Discovery
First International Workshop, AIDD 2024, Held in Conjunction with ICANN 2024, Lugano, Switzerland, September 19, 2024, Proceedings
This open Access book constitutes the refereed proceedings of the First International Workshop on AI in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano …
Open Access
2025 | Open Access | Book
Electronic Voting
9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2–4, 2024, Proceedings
This open access book constitutes the proceedings of the 9th International Joint Conference on Electronic Voting, E-Vote-ID 2024, held in Tarragona, Spain, during October 2-4, 2024.
The 10 full papers included in this book were carefully reviewed …
2025 | Book
Recent Advances in the Message Passing Interface
31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25–27, 2024, Proceedings
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.
The 8 full papers presented here were carefully reviewed and selected from …
2025 | Book
Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024.
The 18 full papers and 4 short papers presented here were …
2025 | Book
Cryptology and Network Security
23rd International Conference, CANS 2024, Cambridge, UK, September 24–27, 2024, Proceedings, Part II
This two-volume set, LNCS 14905-14906, constitutes the proceedings from the 23rd International Conference on Cryptology and Network Security, CANS 2024, held in Cambridge, United Kingdom during September 24-27, 2024.
The 25 papers included in …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29 – October 4, 2024, Proceedings, Part XVIII
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part VII
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29 – October 4, 2024, Proceedings, Part XXII
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29 – October 4, 2024, Proceedings, Part XXXV
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XLIII
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XLIV
The multi-volume set of LNCS books with volume numbers 15059 upto 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part I
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part IV
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XXXVIII
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XLVI
The multi-volume set of LNCS books with volume numbers 15059 upto 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
2025 | Book
Computer Vision – ECCV 2024
18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LVII
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.
The 2387 papers …
