Author(s)
Bibliographic Information
Lecture notes in computer science
Springer
- Other Title
-
LNCS
Search this Book/Journal
-
1
- 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
-
2
- 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
-
3
- 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
-
4
- 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
-
5
- 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
-
6
- 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
-
7
- 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
-
8
- 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
-
9
- 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
-
10
- 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
-
11
- 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
-
12
- 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
-
13
- 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
-
14
- Implementation and application of automata : 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings
-
Szilárd Zsolt Fazekas, editor
Springer , [2024] , c2024 Lecture notes in computer science 15015
Available at 1 libraries
-
15
- Algorithmic game theory : 17th International Symposium, SAGT 2024, Amsterdam, the Netherlands, September 3-6, 2024 : proceedings
-
Guido Schäfer, Carmine Ventre, editors
Springer , [2024] , c2024 Lecture notes in computer science 15156
Available at 1 libraries
-
16
- Cellular automata : 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024 : proceedings
-
Franco Bagnoli [and three others], editors
Springer , [2024] , c2024 Lecture notes in computer science 14978
Available at 1 libraries
-
17
- Computer algebra in scientific computing : 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings
-
François Boulier ... [et al.], editors
Springer c2024 Lecture notes in computer science 14938
Available at 1 libraries
-
18
- Intelligent computer mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024 : proceedings /Andrea Kohlhase, Laura Kovács, editors
-
Springer c2024 Lecture notes in computer science 14960 . Lecture notes in artificial intelligence . LNCS sublibrary ; SL7 . Artificial intelligence
Available at 1 libraries
-
19
- Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : revised selected papers
-
Kazuhiro Ogata, Narciso Martí-Oliet, editors
Springer c2024 Lecture notes in computer science 14953
Available at 1 libraries
-
20
- Relational and algebraic methods in computer science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024 : proceedings
-
Uli Fahrenberg, Wesley Fussner, Roland Glück, editors
Springer c2024 Lecture notes in computer science 14787
Available at 1 libraries
