Author(s)
Bibliographic Information
Lecture notes in computer science
Springer
- Other Title
-
LNCS
Search this Book/Journal
-
1
- SOFSEM 2025: theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings
-
Rastislav Královič, Věra Kůrková, editors
Springer , [2025] , c2025 Lecture notes in computer science 15539 . Advanced research in computing and software science
: part 2
-
2
- SOFSEM 2025: theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings
-
Rastislav Královič, Věra Kůrková, editors
Springer , [2025] , c2025 Lecture notes in computer science 15538 . Advanced research in computing and software science
: part 1
-
3
- Computing and combinatorics : 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings
-
Yong Chen [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 15162
: part 2
-
4
- Computing and combinatorics : 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings
-
Yong Chen [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 15161
: part 1
-
5
- Algorithms and discrete applied mathematics : 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025 : proceedings
-
Daya Gaur, Rogers Mathew, editors
Springer , [2025] , c2025 Lecture notes in computer science 15536
-
6
- Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings
-
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editors
Springer , [2025] , c2025 Lecture notes in computer science 15055
: part 2
-
7
- Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings
-
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editors
Springer , [2025] , c2025 Lecture notes in computer science 15054
: part 1
-
8
- Frontiers of algorithmics : 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024 : proceedings
-
Bo Li, Minming Li, Xiaoming Sun, editors
Springer , [2025] , c 2025 Lecture notes in computer science 14752
Available at 1 libraries
-
9
- Theoretical aspects of computing -- ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024 : proceedings
-
Chutiporn Anutariya, Marcello M. Bonsangue, editors
Springer , [2025] , c2025 Lecture notes in computer science 15373
Available at 1 libraries
-
10
- Software engineering and formal methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings
-
Alexandre Madeira, Alexander Knapp, editors
Springer , [2025] , c2025 Lecture notes in computer science 15280 . Formal methods
Available at 1 libraries
-
11
- Stabilization, safety, and security of distributed systems : 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings
-
Toshimitsu Masuzawa [and four others] , editors
Springer , [2025] , c2025 Lecture notes in computer science 14931
Available at 1 libraries
-
12
- Algorithmic decision theory : 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024 : proceedings
-
Rupert Freeman, Nicholas Mattei, editors
Springer , [2025] , c2025 Lecture notes in computer science 15248 . Lecture notes in artificial intelligence
Available at 1 libraries
-
13
- Programming languages and systems : 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings
-
Oleg Kiselyov, editor
Springer [2025] Lecture notes in computer science 15194
: paperback
Available at 2 libraries
-
14
- String processing and information retrieval : 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024 : proceedings
-
Zsuzsanna Lipták [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 14899
Available at 1 libraries
-
15
- Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings
-
André Platzer [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 14934 . Formal methods
part 2
Available at 1 libraries
-
16
- Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings
-
André Platzer [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 14933 . Formal methods
part 1
Available at 1 libraries
-
17
- Tests and proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings
-
Marieke Huisman, Falk Howar, editors
Springer , [2025] , c2025 Lecture notes in computer science 15153
Available at 1 libraries
-
18
- Reachability problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings
-
Laura Kovács, Ana Sokolova, editors
Springer , [2024] , c2024 Lecture notes in computer science 15050
Available at 1 libraries
-
19
- Swarm intelligence : 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024 : proceedings
-
Heiko Hamann [and eight others], editors
Springer , [2024] , c2024 Lecture notes in computer science 14987
Available at 1 libraries
-
20
- Logic-based program synthesis and transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings
-
Juliana Bowles, Harald Søndergaard, editors
Springer , [2024] , c2024 Lecture notes in computer science 14919
Available at 1 libraries