著者
書誌事項
Lecture notes in computer science
Springer
- タイトル別名
-
LNCS
この図書・雑誌をさがす
-
1
- Stabilization, safety, and security of distributed systems : 27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9–11, 2025 : proceedings
-
Silvia Bonomi [and four others], editors
Springer , [2026] , c2026 Lecture notes in computer science 16350
所蔵館1館
-
2
- Reachability problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025 : proceedings
-
Pierre Ganty, Alessio Mansutti, editors
Springer , [2026] , c2026 Lecture notes in computer science 16230
所蔵館1館
-
3
- Approximation and online algorithms : 23rd International Workshop, WAOA 2025, Warsaw, Poland, September 18–19, 2025 : proceedings
-
Jannik Matuschke, José Verschae, editors
Springer , [2026] , c2026 Lecture notes in computer science 16077
所蔵館1館
-
4
- Algorithmic game theory : 18th International Symposium, SAGT 2025, Bath, UK, September 2–5, 2025 : proceedings
-
Ron Lavi, Jie Zhang, editors
Springer , [2026] , c2026 Lecture notes in computer science 15953. Advanced research in computing and software science
所蔵館1館
-
5
- Fundamentals of computation theory : 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025 : proceedings
-
Artur Jeż, Jan Otop, editors
Springer , [2026] , c2026 Lecture notes in computer science 16106 . Advanced research in computing and software science
所蔵館1館
-
6
- String processing and information retrieval : 32nd International Symposium, SPIRE 2025, London, UK, September 8-11, 2025 : proceedings
-
Golnaz Badkobeh [and three others], editors
Springer , [2026] , c2026 Lecture notes in computer science 16073
所蔵館1館
-
7
- Developments in language theory : 29th International Conference, DLT 2025, Seoul, South Korea, August 19–22, 2025 : proceedings
-
Sang-Ki Ko, Florin Manea, editors
Springer , [2026] , c2026 Lecture notes in computer science 16036
所蔵館1館
-
8
- Computing and combinatorics : 31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15–17, 2025 : proceedings
-
Fedor V. Fomin, Mingyu Xiao, editors
Springer , [2026] , c2026 Lecture notes in computer science 15984
part 2
所蔵館1館
-
9
- Computing and combinatorics : 31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15–17, 2025 : proceedings
-
Fedor V. Fomin, Mingyu Xiao, editors
Springer , [2026] , c2026 Lecture notes in computer science 15983
part 1
所蔵館1館
-
10
- Logic, language, information, and computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025 : proceedings
-
Dexter Kozen, Ruy de Queiroz, editors
Springer , [2026] , c2026 Lecture notes in computer science 15942
所蔵館1館
-
11
- Discrete and computational geometry, graphs, and games : 24th Japanese Conference, JCDCGGG 2022, virtual event, September 9–11, 2022 : revised selected papers
-
Jin Akiyama, Hiro Ito, Toshinori Sakai, editors
Springer , [2026] , c2026 Lecture notes in computer science 14364
所蔵館1館
-
12
- Security and privacy in smart environments
-
Nikolaos Pitropakis, Sokratis Katsikas editors
Springer , [2025] , c2025 Lecture notes in computer science 14800
所蔵館1館
-
13
- Information security in a connected world : celebrating the life and work of Ed Dawson
-
Colin Boyd, Reihaneh Safavi-Naini, Leonie Simpson editors
Springer , [2025] , c2025 Lecture notes in computer science 15600
所蔵館1館
-
14
- Information theory and related fields : festschrift in memory of Ning Cai
-
Christian Deppe [and others], editors
Springer , [2025] , c2025 Lecture notes in computer science 14620
所蔵館1館
-
15
- Crossroads of computability and logic : insights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings
-
Arnold Beckmann, Isabel Oitavem, Florin Manea, editors
Springer , [2025] , c2025 Lecture notes in computer science 15764 . Advanced research in computing and software science
所蔵館1館
-
16
- Reversible computation : 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings
-
Robert Glück, Robin Kaarsgaard, editors
Springer , [2025] , c2025 Lecture notes in computer science 15716
所蔵館1館
-
17
- NASA formal methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings
-
Aaron Dutle, Laura Humphrey, Laura Titolo, editors
Springer , [2025] , c2025 Lecture notes in computer science 15682
所蔵館1館
-
18
- Computational complexity and local algorithms : on the interplay between randomness and computation
-
Oded Goldreich, editor
Springer [2025] , # c Lecture notes in computer science 15700 . State-of-the-art survey
: pbk
所蔵館2館
-
19
- Combinatorial algorithms : 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025 : proceedings
-
Henning Fernau, Binhai Zhu, editors
Springer , [2025] , c2025 Lecture notes in computer science 15885 . Advanced research in computing and software science
所蔵館1館
-
20
- Integer programming and combinatorial optimization : 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11–13, 2025 : proceedings
-
Nicole Megow, Amitabh Basu, editors
Springer , [2025] , c2025 Lecture notes in computer science 15620
所蔵館1館